import java.io.BufferedReader;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.List;

public class CodeJam {

//	public static final String INPUT_FILE_PATH = "D://CodeJamInput.txt";
	public static final String INPUT_FILE_PATH = "D://B-large.in";
	public static final String OUTPUT_FILE_PATH = "D://CodeJamOutput.txt";

	public static List<String> readInput() {
		List<String> list = new ArrayList<String>();
		try {
			BufferedReader input = new BufferedReader(new FileReader(
					INPUT_FILE_PATH));
			try {
				String line = null;

				while ((line = input.readLine()) != null) {
					list.add(line);
				}
			} finally {
				input.close();
			}
		} catch (IOException ex) {
			ex.printStackTrace();
		}
		
		return list;
	}

	public static void writeOutput(List<String> output) {
		PrintWriter writer = null;
		try {
			writer = new PrintWriter(new FileWriter(OUTPUT_FILE_PATH));
			for (String line : output) {
				writer.println(line);
			}
			writer.flush();
		} catch (IOException e) {
			e.printStackTrace();
		} finally {
			if (writer != null)
				writer.close();
		}
	}
	
	public static void main(String[] args) {
		List<DanceFloor> danceFloors = DanceFloor.parseFromFile(CodeJam.readInput());
		List<String> output = new ArrayList<String>();

		for(int i = 0; i < danceFloors.size(); i++) {
			System.out.println(danceFloors.get(i));
			String line = "";
			line += "Case #" + (i + 1) + ": " + danceFloors.get(i).calculate();
			output.add(line);
		}
		
		CodeJam.writeOutput(output);
	}
}

class DanceFloor {

	private List<Integer> tripletsTotalCounts;
	private int surpriseCount;
	private int targetScore;
	private int dancersCount;

	public DanceFloor(List<Integer> tripletsTotalCounts, int surpriseCount,
			int targetScore, int dancersCount) {
		this.tripletsTotalCounts = tripletsTotalCounts;
		this.surpriseCount = surpriseCount;
		this.targetScore = targetScore;
		this.dancersCount = dancersCount;
	}

	public int calculate() {
		int result = 0;
		
		if (targetScore == 0) return dancersCount;
		
		for (int i = 0; i < tripletsTotalCounts.size(); i++) {
			int total = tripletsTotalCounts.get(i);

			if (total < (targetScore * 3 - 4)) {
				tripletsTotalCounts.remove(i--);
			} else if (total == 0) {
				tripletsTotalCounts.remove(i--);
			}
		}
		
		for (int i = 0; i < tripletsTotalCounts.size(); i++) {
			int total = tripletsTotalCounts.get(i);

			if ((surpriseCount > 0) && (total == targetScore * 3 - 4)) {
				result++;
				surpriseCount--;
				tripletsTotalCounts.remove(i--);
			} else if ((surpriseCount == 0) && (total == targetScore * 3 - 4)) {
				tripletsTotalCounts.remove(i--);
			}
		}
		
		for (int i = 0; i < tripletsTotalCounts.size(); i++) {
			int total = tripletsTotalCounts.get(i);

			if ((surpriseCount > 0) && (total == targetScore * 3 - 3)) {
				result++;
				surpriseCount--;
				tripletsTotalCounts.remove(i--);
			} else if ((surpriseCount == 0) && (total == targetScore * 3 - 3)) {
				tripletsTotalCounts.remove(i--);
			}
		}
		
		result += tripletsTotalCounts.size();
		
		return result;
	}

	public static List<DanceFloor> parseFromFile(List<String> readInput) {
		List<DanceFloor> result = new ArrayList<DanceFloor>();
		int testCaseCount = Integer.parseInt(readInput.get(0));

		for (int i = 0; i < testCaseCount; i++) {
			String line[] = readInput.get(i + 1).split(" ");

			List<Integer> totalCounts = new ArrayList<Integer>();
			for (int j = 0; j < Integer.parseInt(line[0]); j++) {
				totalCounts.add(Integer.parseInt(line[3 + j]));
			}

			result.add(new DanceFloor(totalCounts, Integer.parseInt(line[1]),
					Integer.parseInt(line[2]), Integer.parseInt(line[0])));
		}

		return result;
	}

	@Override
	public String toString() {
		return "dancersCount = " + dancersCount + "; surpriseCount = " + surpriseCount 
								 + "; targetScore = " + targetScore + "; tripletsTotalCounts" 
								 + tripletsTotalCounts.toString();
	}
}


package fixjava;

import java.util.concurrent.Callable;
import java.util.concurrent.Future;

import fixjava.ParallelWorkQueue.CallableFactory;

public class ArrayStats {
	public final double[][] data;
	public final int n, k;

	private double[][] centered;
	private double[] mean;
	private double[][] cov;
	private double[] stddev = null;
	private double[][] corr = null;

	/** Calculate covariance matrix */
	public ArrayStats(double[][] data) {
		if (data == null || data.length < 2 || data[0].length < 2)
			throw new IllegalArgumentException("Invalid data");
		this.data = data;
		this.n = data.length;
		this.k = data[0].length;
	}

	/** Compute mean for each dimension */
	public double[] mean() {
		if (mean == null) {
			mean = new double[k];
			for (int dim = 0; dim < k; dim++) {
				double tot = 0;
				for (int pt = 0; pt < n; pt++)
					tot += data[pt][dim];
				mean[dim] = tot / n;
			}
		}
		return mean;
	}

	/** Compute stddev for each dimension */
	public double[] stddev() {
		if (stddev == null) {
			// Make sure means are computed
			mean();

			stddev = new double[k];
			for (int dim = 0; dim < k; dim++) {
				for (int pt = 0; pt < n; pt++) {
					double diff = data[pt][dim] - mean[dim];
					stddev[dim] += diff * diff;
				}
				stddev[dim] = Math.sqrt(stddev[dim] / n);
			}
		}
		return stddev;
	}

	/** Re-center data by subtracting mean from each dimension */
	public double[][] centered() {
		if (centered == null) {
			// Make sure means are computed
			mean();

			centered = new double[n][k];
			for (int pt = 0; pt < n; pt++)
				for (int dim = 0; dim < k; dim++)
					centered[pt][dim] = data[pt][dim] - mean[dim];
		}
		return centered;
	}

	/** Compute covariance matrix */
	public double[][] cov() {
		if (cov == null) {
			// Make sure centered version of data is computed
			centered();

			// Work on transposed array for cache coherence
			final double[][] centeredT = ArrayUtils.transpose(centered);

			cov = new double[k][k];

			try {
				//final DecimalFormat formatPercent1dp = new DecimalFormat("0.0%");
				for (Future<Void> res : new ParallelWorkQueue<Integer, Void>(/* numThreads = */25,
						ParallelWorkQueue.makeIntRangeIterable(k), new CallableFactory<Integer, Void>() {
							//IntegerMutable counter = new IntegerMutable();

							@Override
							public Callable<Void> newInstance(final Integer ii) {
								return new Callable<Void>() {
									int dim1 = ii.intValue();
									double[][] centeredTLocal = centeredT;
									double[][] covLocal = cov;

									@Override
									public Void call() {
										for (int dim2 = dim1; dim2 < k; dim2++) {
											double numer = 0.0;
											for (int pt = 0; pt < n; pt++)
												numer += centeredTLocal[dim1][pt] * centeredTLocal[dim2][pt];
											int denom = n - 1;
											covLocal[dim1][dim2] = covLocal[dim2][dim1] = denom == 0 ? 0 : numer / denom;
										}
										//										int count = counter.increment();
										//										if (count % 10 == 0)
										//											System.out.println(formatPercent1dp.format((count / (float) (k - 1))));
										return null;
									}
								};
							}
						}))
					// Barricade
					res.get();
			} catch (Exception e) {
				e.printStackTrace();
				System.exit(1);
			}
		}
		return cov;
	}

	/** Compute correlation matrix */
	public double[][] corr() {
		if (corr == null) {
			// Make sure per-dim stddevs and covariance matrix are computed
			stddev();
			cov();

			corr = new double[k][k];
			for (int dim1 = 0; dim1 < k; dim1++) {
				for (int dim2 = dim1; dim2 < k; dim2++) {
					double prod = stddev[dim1] * stddev[dim2];
					corr[dim1][dim2] = corr[dim2][dim1] = prod == 0.0 ? 0.0 : cov[dim1][dim2] / prod;
				}
			}
		}
		return corr;
	}
}
