import java.io.BufferedReader;
import java.io.BufferedWriter;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;

public class EN2012QB {
	public static void main(String[] args) {
		File inputFile = new File("c:/tmp/B-small-attempt0.in");
		File outputFile = new File("c:/tmp/B-small-attempt0.out");

		char map[] = new char[256];
		boolean mapped[] = new boolean[256];

		FileReader filereader = null;
		BufferedReader br = null;
		FileWriter filewriter = null;
		BufferedWriter bw = null;

		try {
			// å¥å
			filereader = new FileReader(inputFile);
			br = new BufferedReader(filereader);

			// åºå
			filewriter = new FileWriter(outputFile);
			bw = new BufferedWriter(filewriter);

			/**************************************************************************************
			// å¨ä½ãã©ã¡ã¼ã¿ã®èª­ã¿è¾¼ã¿
			**************************************************************************************/
			int T;

			// ãã¹ãã±ã¼ã¹ã®åæ°
			String lineStr = br.readLine();
			T = Integer.parseInt(lineStr);
			System.out.println("T = " + T + "\n");

			/**************************************************************************************
			// Caseã1ã¤ã¥ã¤å¦ç
			**************************************************************************************/
			long caseIndex = 1;
			while ((lineStr = br.readLine()) != null) {
				/**************************************************************************************
				// Caseãå¦ç
				 **************************************************************************************/

				String E[] = lineStr.split(" ");
				System.out.println(lineStr);
				int N = Integer.parseInt(E[0]);
				System.out.println("N = " + N);

				int S = Integer.parseInt(E[1]);
				System.out.println("S = " + S);

				int p = Integer.parseInt(E[2]);
				System.out.println("p = " + p);

				int totalPoints[] = new int[N];

				for(int i=0; i<N; i++){
					totalPoints[i] = Integer.parseInt(E[3 + i]);
					System.out.println("totalPoints[" + i + "] = " + totalPoints[i]);
				}

				// surprisingã§ãªãã¦ãã¯ãªã¢ã§ãã¦ããçµã®å ´åã¯ãp + (p-1) + (p-1) ä»¥ä¸ã§ããã°ãã
				int notSurprisingThreshold = 3 * p - 2;

				// surprisingã§ãªãã¨ã¯ãªã¢ã§ããªãçµã®å ´åã¯ãp + (p-2) + (p-2) ä»¥ä¸ã§ããã°ãã
				int SurprisingThreshold = 3 * p - 4;

				int notSurprisingCount = 0;
				int SurprisingCount = 0;

				for(int i=0; i<N; i++){
					// å°ãªãã¨ã1ã¤ã¯pä»¥ä¸ã§ãããããå¤§åæã¨ãã¦åè¨å¤ã¯pããå¤§ãããªãã¨ãããªã
					if(totalPoints[i] >= p
							&& totalPoints[i] >= notSurprisingThreshold){
						notSurprisingCount++;
					}

					// å°ãªãã¨ã1ã¤ã¯pä»¥ä¸ã§ãããããå¤§åæã¨ãã¦åè¨å¤ã¯pããå¤§ãããªãã¨ãããªã
					// æå¤§ã®ã¹ã³ã¢ã¨æå°ã®ã¹ã³ã¢ã®å·®åã2ã§ãããããåè¨ã¯28ä»¥ä¸ã¨ãªã
					if(totalPoints[i] >= p
							&& totalPoints[i] <= 28
							&& totalPoints[i] >= SurprisingThreshold
							&& totalPoints[i] < notSurprisingThreshold){
						SurprisingCount++;
					}
				}

				System.out.println("Not Surprising = " + notSurprisingCount + ", Surprising = " + SurprisingCount);

				// surprisingã§ãªãã¨ã¯ãªã¢ã§ãã¦ããªãçµã¯ãSurprisingCount çµããã
				// ãã®ãã¡ãå®éã¯Sçµã surprisingã§ãã
				int caseAnser = notSurprisingCount + Math.min(S, SurprisingCount);

				/**************************************************************************************
					// Caseãåºå
				 **************************************************************************************/
				String output = "Case #" + caseIndex + ": " + caseAnser;
				caseIndex++;
				System.out.println(output);
				bw.write(output);
				bw.newLine();
			}
			/**************************************************************************************
				// æ¬¡ã®Caseã®èª­ã¿è¾¼ã¿
			 **************************************************************************************/
			lineStr = br.readLine();
			System.out.println();

			bw.flush();
		} catch (FileNotFoundException e) {
			e.printStackTrace();
		} catch (IOException e) {
			e.printStackTrace();
		} finally {
			try {
				if (br != null) {
					br.close();
				}
			} catch (IOException e) {
				e.printStackTrace();
			}

			try {
				if (filereader != null) {
					filereader.close();
				}
			} catch (IOException e) {
				e.printStackTrace();
			}

			try {
				if (bw != null) {
					bw.close();
				}
			} catch (IOException e) {
				e.printStackTrace();
			}

			try {
				if (filewriter != null) {
					filewriter.close();
				}
			} catch (IOException e) {
				e.printStackTrace();
			}
		}
	}

	/**
	 * æå­åãããããããæå­åæ°ãæ±ãã
	 */
	private static int countChar(String str, int ch){
		int count = 0;
		int i = 0;
		while ((i = str.indexOf(ch, i)) != -1) {
			count++;
			i++;
		}
		return count;
	}
}
