package dancinggooglers;

import java.io.File;
import java.util.Scanner;

public class DanceScoreCalculator {


    public static void main(String[] args) {
        if(args.length <= 0 || args[0] == null) {
            System.out.println("You must enter a file to read");
            System.out.println("Usage: blah <filename>");
            System.exit(0);
        }

        File argFile = new File(args[0]);
        try {
            Scanner googleSpeakScanner = new Scanner(argFile);
            String firstLine = googleSpeakScanner.nextLine();
            Integer linesToScan = new Integer(firstLine);
            for(int i = 1; i <= linesToScan; i++) {
                String googleDancerLine = googleSpeakScanner.nextLine();
                DanceScoreCase danceCase = new DanceScoreCase(googleDancerLine);
                System.out.println(String.format("Case #%d: %d", i, danceCase.maxDancersThatCouldPass()));
            }
        }
        catch (Exception e) {
            e.printStackTrace();
        }
    }
}

import java.util.Scanner;


public class Main {
	public static void main(String[] args) {
		Scanner reader = new Scanner (System.in);
		int nCases = reader.nextInt();
		for(int i=1; i<=nCases; i++) {
			int nGoolers = reader.nextInt();
			int nSurprising = reader.nextInt();
			int p = reader.nextInt();
			int minSurprising,minNotSurprising;
			if(p>=2) {
				minSurprising = (p-2)*2 + p;
				minNotSurprising = (p-1)*2 +p;
			} else if (p==1){
				minSurprising = (p-1)*2 +p;
				minNotSurprising = (p-1)*2 +p;
			} else {
				minSurprising = 0;
				minNotSurprising = 0;
			}
			int nBestResult = 0;
			int[] scoreTriplets = new int[nGoolers];
			for(int j=0; j<nGoolers; j++) {
				scoreTriplets[j] = reader.nextInt();
				if(scoreTriplets[j] >= minNotSurprising) {
					nBestResult++;
				} else if(scoreTriplets[j] < minNotSurprising && scoreTriplets[j] >= minSurprising) {
					if(nSurprising > 0) {
						nBestResult++;
						nSurprising--;
					}
				}
			}
			System.out.println("Case #" + i + ": " + nBestResult);
		}
	}
}
