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 Dancing {

	/**
	 * @param args
	 * @throws IOException 
	 */
	public static void main(String[] args) throws IOException {
		// read input file
		File file = new File("B-small-attempt4.in");
		//File file = new File("input.txt");
		BufferedReader br = new BufferedReader(new FileReader(file));
		String ln = "";
		int count = Integer.parseInt(br.readLine());

		// write output file
		File out = new File("outB.txt");
		BufferedWriter bw = new BufferedWriter(new FileWriter(out));
		
		int y = 0;
		for (int i=0; i < count; i++){
			ln = br.readLine();
			y = getY(ln);
			bw.write("Case #" + (i+1) + ": " + y);
			bw.newLine();
		}
		bw.close();
	}
	
	private static int getY(String str) {
		String[] data = str.split(" ");
		int n = Integer.parseInt(data[0]);
		int s = Integer.parseInt(data[1]);
		int p = Integer.parseInt(data[2]);
		int[] t = new int[n];
		for (int i=0; i < n; i++){
			t[i] = Integer.parseInt(data[i+3]);
		}
		int y = 0;
		int base = 0;
		for(int j=0; j < t.length; j++){
			base = t[j] / 3;
			if(base >= p) { y++; }
			else if(base == p-1){
				if(t[j] - (base+p) > base-1 && t[j] > 0){
					y++;
				} else if(s>0 && t[j] - (base+p) > base-2 && t[j] > 0){
					s -= 1;
					y++;
				}
			} else if(base == p-2){
				if(s > 0 && t[j] - (base+p) > base-1 && t[j] > 0){
					s -= 1;
					y++;
				}
			}
		}
		
		return y;
	}

}




class Triplets
{
	int oldscore[] = new int[3];
	int score[] = new int[3];
	int totalScore;
	
	int first, second;
	
	public Triplets(int a, int b, int c)
	{
		oldscore[0] = score[0] = a;
		oldscore[1] = score[1] = b;
		oldscore[2] = score[2] = c;
		
		totalScore = a + b + c;
	}
	
	public void display()
	{
		System.out.println("(" + score[0] + ", " + score[1] + ", " + score[2] + ")");
	}
	
	public int getMaxScore()
	{
		int max = score[0];
		for(int i=1; i<score.length; i++)
			if(score[i] > max)
				max = score[i];
		
		return max;
	}
	
	public int getMinScore()
	{
		int min = score[0];
		for(int i=1; i<score.length; i++)
			if(score[i] < min)
				min = score[i];
		
		return min;
	}
	
	public boolean isSurprising()
	{
		int max = getMaxScore();
		int min = getMinScore();
		
		return ((max - min) == 2);
	}
	
	public boolean canBeConverted()
	{
		for(int i=0; i<score.length - 1; i++)
		{
			for(int j=i+1; j<score.length; j++)
			{
				if(score[i] == score[j] && score[i] != 0)
				{
					first = i;
					second = j;
					return true;
				}
			}
		}
		
		return false;
	}
	
	public Triplets converted()
	{
		Triplets convertedTriplet = new Triplets(score[0], score[1], score[2]);
		convertedTriplet.score[first]++;
		convertedTriplet.score[second]--;
		
		return convertedTriplet;
	}
}