/**
 * 
 */
package hu.herba.codejam;

import java.io.BufferedReader;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.FileReader;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.io.PrintWriter;

/**
 * Base functionality, helper functions for CodeJam problem solver utilities.
 * 
 * @author csorbazoli
 */
public abstract class AbstractCodeJamBase {
    private static final String EXT_OUT = ".out";
    protected static final int STREAM_TYPE = 0;
    protected static final int FILE_TYPE = 1;
    protected static final int READER_TYPE = 2;
    private static final String DEFAULT_INPUT = "test_input";
    private static final String DEFAULT_OUTPUT = "test_output";

    private final File inputFolder;
    private final File outputFolder;

    public AbstractCodeJamBase(String[] args, int type) {
	String inputFolderName = AbstractCodeJamBase.DEFAULT_INPUT;
	String outputFolderName = AbstractCodeJamBase.DEFAULT_OUTPUT;
	if (args.length > 0) {
	    inputFolderName = args[0];
	}
	this.inputFolder = new File(inputFolderName);
	if (!this.inputFolder.exists()) {
	    this.showUsage("Input folder '" + this.inputFolder.getAbsolutePath() + "' not exists!");
	}
	if (args.length > 1) {
	    outputFolderName = args[1];
	}
	this.outputFolder = new File(outputFolderName);
	if (this.outputFolder.exists() && !this.outputFolder.canWrite()) {
	    this.showUsage("Output folder '" + this.outputFolder.getAbsolutePath() + "' not writeable!");
	} else if (!this.outputFolder.exists() && !this.outputFolder.mkdirs()) {
	    this.showUsage("Could not create output folder '" + this.outputFolder.getAbsolutePath() + "'!");
	}
	File[] inputFiles = this.inputFolder.listFiles();
	for (File inputFile : inputFiles) {
	    this.processInputFile(inputFile, type);
	}
    }

    /**
     * @return the inputFolder
     */
    public File getInputFolder() {
	return this.inputFolder;
    }

    /**
     * @return the outputFolder
     */
    public File getOutputFolder() {
	return this.outputFolder;
    }

    /**
     * @param input
     *            input reader
     * @param output
     *            output writer
     * @throws IOException
     *             in case input or output fails
     * @throws IllegalArgumentException
     *             in case the given input is invalid
     */
    @SuppressWarnings("unused")
    protected void process(BufferedReader reader, PrintWriter pw) throws IOException, IllegalArgumentException {
	System.out.println("NEED TO IMPLEMENT (reader/writer)!!!");
	System.exit(-2);
    }

    /**
     * @param input
     *            input file
     * @param output
     *            output file (will be overwritten)
     * @throws IOException
     *             in case input or output fails
     * @throws IllegalArgumentException
     *             in case the given input is invalid
     */
    protected void process(File input, File output) throws IOException, IllegalArgumentException {
	System.out.println("NEED TO IMPLEMENT (file/file)!!!");
	System.exit(-2);
    }

    /**
     * @param input
     *            input stream
     * @param output
     *            output stream
     * @throws IOException
     *             in case input or output fails
     * @throws IllegalArgumentException
     *             in case the given input is invalid
     */
    protected void process(InputStream input, OutputStream output) throws IOException, IllegalArgumentException {
	System.out.println("NEED TO IMPLEMENT (stream/stream)!!!");
	System.exit(-2);
    }

    /**
     * @param type
     * @param input
     * @param output
     */
    private void processInputFile(File input, int type) {
	long starttime = System.currentTimeMillis();
	System.out.println("Processing '" + input.getAbsolutePath() + "'...");
	File output = new File(this.outputFolder, input.getName() + AbstractCodeJamBase.EXT_OUT);
	if (type == AbstractCodeJamBase.STREAM_TYPE) {
	    InputStream is = null;
	    OutputStream os = null;
	    try {
		is = new FileInputStream(input);
		os = new FileOutputStream(output);
		this.process(is, os);
	    } catch (FileNotFoundException e) {
		this.showUsage("FileNotFound: " + e.getLocalizedMessage());
	    } catch (IllegalArgumentException excIA) {
		this.showUsage(excIA.getLocalizedMessage());
	    } catch (Exception exc) {
		System.out.println("Program failed: " + exc.getLocalizedMessage());
		exc.printStackTrace(System.out);
	    } finally {
		if (is != null) {
		    try {
			is.close();
		    } catch (IOException e) {
			System.out.println("Failed to close input: " + e.getLocalizedMessage());
		    }
		}
		if (os != null) {
		    try {
			os.close();
		    } catch (IOException e) {
			System.out.println("Failed to close output: " + e.getLocalizedMessage());
		    }
		}
	    }
	} else if (type == AbstractCodeJamBase.READER_TYPE) {
	    BufferedReader reader = null;
	    PrintWriter pw = null;
	    try {
		reader = new BufferedReader(new FileReader(input));
		pw = new PrintWriter(output);
		this.process(reader, pw);
	    } catch (FileNotFoundException e) {
		this.showUsage("FileNotFound: " + e.getLocalizedMessage());
	    } catch (IllegalArgumentException excIA) {
		this.showUsage(excIA.getLocalizedMessage());
	    } catch (Exception exc) {
		System.out.println("Program failed: " + exc.getLocalizedMessage());
		exc.printStackTrace(System.out);
	    } finally {
		if (reader != null) {
		    try {
			reader.close();
		    } catch (IOException e) {
			System.out.println("Failed to close input: " + e.getLocalizedMessage());
		    }
		}
		if (pw != null) {
		    pw.close();
		}
	    }
	} else if (type == AbstractCodeJamBase.FILE_TYPE) {
	    try {
		this.process(input, output);
	    } catch (IllegalArgumentException excIA) {
		this.showUsage(excIA.getLocalizedMessage());
	    } catch (Exception exc) {
		System.out.println("Program failed: " + exc.getLocalizedMessage());
		exc.printStackTrace(System.out);
	    }
	} else {
	    this.showUsage("Unknown type given: " + type + " (accepted values: 0,1)");
	}
	System.out.println("  READY (" + (System.currentTimeMillis() - starttime) + " ms)");
    }

    /**
     * Read a single number from input
     * 
     * @param reader
     * @param purpose
     *            What is the purpose of given data
     * @return
     * @throws IOException
     * @throws IllegalArgumentException
     */
    protected int readInt(BufferedReader reader, String purpose) throws IOException, IllegalArgumentException {
	int ret = 0;
	String line = reader.readLine();
	if (line == null) {
	    throw new IllegalArgumentException("Invalid input: line is empty, it should be an integer (" + purpose + ")!");
	}
	try {
	    ret = Integer.parseInt(line);
	} catch (NumberFormatException excNF) {
	    throw new IllegalArgumentException("Invalid input: the first line '" + line + "' should be an integer (" + purpose + ")!");
	}
	return ret;
    }

    /**
     * Read array of integers
     * 
     * @param reader
     * @param purpose
     * @return
     */
    protected int[] readIntArray(BufferedReader reader, String purpose) throws IOException {
	int[] ret = null;
	String line = reader.readLine();
	if (line == null) {
	    throw new IllegalArgumentException("Invalid input: line is empty, it should be an integer list (" + purpose + ")!");
	}
	String[] strArr = line.split("\\s");
	int len = strArr.length;
	ret = new int[len];
	for (int i = 0; i < len; i++) {
	    try {
		ret[i] = Integer.parseInt(strArr[i]);
	    } catch (NumberFormatException excNF) {
		throw new IllegalArgumentException("Invalid input: line '" + line + "' should be an integer list (" + purpose + ")!");
	    }
	}
	return ret;
    }

    /**
     * Read array of strings
     * 
     * @param reader
     * @param purpose
     * @return
     */
    protected String[] readStringArray(BufferedReader reader, String purpose) throws IOException {
	String[] ret = null;
	String line = reader.readLine();
	if (line == null) {
	    throw new IllegalArgumentException("Invalid input: line is empty, it should be a string list (" + purpose + ")!");
	}
	ret = line.split("\\s");
	return ret == null ? new String[0] : ret;
    }

    /**
     * Basic usage pattern. Can be overwritten by current implementation
     * 
     * @param message
     *            Short message, describing the problem with given program
     *            arguments
     */
    protected void showUsage(String message) {
	if (message != null) {
	    System.out.println(message);
	}
	System.out.println("Usage:");
	System.out.println("\t" + this.getClass().getName() + " program");
	System.out.println("\tArguments:");
	System.out.println("\t\t<input folder>:\tpath of input folder (default: " + AbstractCodeJamBase.DEFAULT_INPUT + ").");
	System.out.println("\t\t               \tAll files will be processed in the folder");
	System.out.println("\t\t<output folder>:\tpath of output folder (default: " + AbstractCodeJamBase.DEFAULT_OUTPUT + ")");
	System.out.println("\t\t               \tOutput file name will be the same as input");
	System.out.println("\t\t               \tinput with extension '.out'");
	System.exit(-1);
    }
}

import java.util.ArrayList;
import java.util.Collections;
import java.util.HashMap;
import java.util.Scanner;

public class Solution {
	static final boolean DBG = false;

	// x x x s= 3x
	// x x x+1 s= 3x +1
	// x x x-1 s= 3x -1
	// x x+1 x+1 s= 3x +2
	// x x-1 x-1 s= 3x-2

	public static void main(String[] args) {

		AllNormal allNormal = new AllNormal();
		AllSurprising allSurprising = new AllSurprising();

		Scanner sc = new Scanner(System.in);
		long dStart = System.currentTimeMillis();
		StringBuilder sbout = new StringBuilder();

		int T = sc.nextInt();
		for (int i = 1; i <= T; i++) {
			Task one = new Task(sc, allNormal, allSurprising);
			int res = one.getSolution();
			sbout.append("Case #");
			sbout.append(i);
			sbout.append(": ");
			sbout.append(res);
			sbout.append('\n');
		}

		if (DBG) {
			sbout.append("time :");
			sbout.append(System.currentTimeMillis() - dStart);
		}
		System.out.print(sbout.toString());

	}

	static class Task {
		int N; // number of people
		int S; // Surprising Triplets;
		int p; // ? of N with best result >= p

		ArrayList<OnePerson> persons = new ArrayList<OnePerson>();
		String original = "";

		public Task(Scanner sc, AllNormal allNormal, AllSurprising allSurprising) {
			N = sc.nextInt();
			S = sc.nextInt();
			p = sc.nextInt();

			original = N + " " + S + " " + p + ", ";
			for (int i = 0; i < N; i++) {
				OnePerson one = new OnePerson(sc.nextInt());
				one.setHowItCan(allNormal, allSurprising, p);
				persons.add(one);
				original += " " + one.sum;
			}
		}

		int getSolution() {
			int canNormal = 0;
			int canWithSurprising = 0;
			for (OnePerson one : persons) {
				if (one.canHaveWithNormal) {
					canNormal++;
				} else {
					if (one.canWithSurprising)
						canWithSurprising++;
				}
			}

			return canNormal + Math.min(canWithSurprising, S);
		}
	}

	static class OnePerson {
		int sum = 0;
		boolean canHaveWithNormal = false; // can have best >= p without
											// surprising rating

		boolean canWithSurprising = false;

		public OnePerson(int sum) {
			this.sum = sum;
		}

		void setHowItCan(AllNormal allNormal, AllSurprising allSurprising, int p) {
			canHaveWithNormal = (allNormal.all.get(this.sum).best >= p);
			canWithSurprising = allSurprising.canBeSurprisingWithBestGreater(
					this.sum, p);
		}

	}

	static class AllNormal {
		HashMap<Integer, NormalRating> all = new HashMap<Integer, Solution.NormalRating>();

		public AllNormal() {
			for (int i = 0; i <= 10; i++) {
				addOne(new NormalRating(3 * i, i, i));
				addOne(new NormalRating(3 * i + 1, i + 1, i));
				addOne(new NormalRating(3 * i - 1, i, i - 1));
				addOne(new NormalRating(3 * i + 2, i + 1, i));
				addOne(new NormalRating(3 * i - 2, i, i - 1));
			}
		}

		void addOne(NormalRating one) {
			if (one.isValid() && !all.containsKey(one.sum)) {
				all.put(one.sum, one);
			}
		}

		void printAll() {
			ArrayList<NormalRating> vals = new ArrayList<Solution.NormalRating>();
			vals.addAll(all.values());
			Collections.sort(vals);
			for (NormalRating one : vals) {
				one.printLn();
			}
		}
	}

	static class NormalRating implements Comparable<NormalRating> {
		int sum = 0;
		int best = 0;
		int min = 0;

		public NormalRating(int sum, int best, int min) {
			this.sum = sum;
			this.best = best;
			this.min = min;
		}

		boolean isValid() {
			return (sum >= 0) && (best >= 0) && (min >= 0) && (best <= 10);
		}

		void printLn() {
			System.out.println("s: " + sum + "  b: " + best + " m: " + min);
		}

		@Override
		public int compareTo(NormalRating other) {
			return (new Integer(sum)).compareTo(new Integer(other.sum));
		}

	}

	static class AllSurprising {
		ArrayList<SurprisingRating> items = new ArrayList<Solution.SurprisingRating>();

		public AllSurprising() {
			for (int i = 0; i <= 8; i++) {
				addOne(new SurprisingRating(3 * i + 2, i + 2));
				addOne(new SurprisingRating(3 * i + 3, i + 2));
				addOne(new SurprisingRating(3 * i + 4, i + 2));

			}
		}

		void addOne(SurprisingRating one) {
			items.add(one);
		}

		boolean canBeSurprisingWithBestGreater(int withsum, int p) {
			for (SurprisingRating rating : items) {
				if (rating.sum == withsum) {
					return (rating.best >= p);
				}
			}

			return false;
		}
	}

	// x x+2 x = 3x +2
	// x x+2 x+1 = 3x +3
	// x x+2 x+2 = 3x +4
	static class SurprisingRating {
		int sum = 0;
		int best = 0;

		public SurprisingRating(int sum, int best) {
			this.sum = sum;
			this.best = best;
		}
	}
}
