import java.io.File;
import java.io.IOException;
import java.io.PrintWriter;
import java.util.Arrays;
import java.util.Scanner;


public class B {
	static int[][] memo;
	static int[] nums;
	static int p;
	public static void main(String[] args)throws IOException
	{
		Scanner br=new Scanner(new File("B-small-attempt0.in"));
		PrintWriter out=new PrintWriter(new File("b.out"));
		int cases=br.nextInt();
		for(int c=1;c<=cases;c++)
		{
			int n=br.nextInt(),s=br.nextInt();
			p=br.nextInt();
			nums=new int[n];
			for(int i=0;i<n;i++)
				nums[i]=br.nextInt();
			memo=new int[n][s+1];
			for(int[] a:memo)
				Arrays.fill(a,-1);
			out.printf("Case #%d: %d\n",c,go(0,s));
		}
		out.close();
	}
	public static int go(int index,int s)
	{
		if(index>=nums.length)
			return 0;
		if(memo[index][s]!=-1)
			return memo[index][s];
		int best=0;
		for(int i=0;i<=10;i++)
		{
			int max=i;
			for(int j=0;j<=10;j++)
			{	
				if(Math.abs(i-j)>2)
					continue;
				max=Math.max(i,j);
				thisone:
				for(int k=0;k<=10;k++)
				{
					int ret=0;
					if(Math.abs(i-k)>2||Math.abs(j-k)>2)
						continue;
					max=Math.max(max,k);
					int count=0;
					if(Math.abs(i-k)==2)
						count++;
					if(Math.abs(i-j)==2)
						count++;
					if(Math.abs(j-k)==2)
						count++;
					if(i+j+k==nums[index])
					{
						boolean surp=(count>=1);
						if(surp&&s>0)
						{
							if(max>=p)
								ret++;
							ret+=go(index+1,s-1);
						}
						else if(!surp)
						{
							if(max>=p)
								ret++;
							ret+=go(index+1,s);
						}
						best=Math.max(best,ret);
					}
					else if(i+j+k>nums[index])
						break thisone;
				}
			}
		}
		return memo[index][s]=best;
	}
}

import java.io.BufferedReader;
import java.io.BufferedWriter;
import java.io.DataInputStream;
import java.io.FileInputStream;
import java.io.FileWriter;
import java.io.InputStreamReader;
import java.util.StringTokenizer;


public class Dancing {

	public static void main(String[] args) {
		try{
			FileInputStream fstream = new FileInputStream("in.txt");
			// Get the object of DataInputStream
			DataInputStream in = new DataInputStream(fstream);
			BufferedReader br = new BufferedReader(new InputStreamReader(in));
			
			FileWriter ostream = new FileWriter("out.txt");
			BufferedWriter out = new BufferedWriter(ostream); 
			int count = Integer.parseInt(br.readLine());
			for(int i=0;i<count;++i) {
				StringTokenizer strLine = new StringTokenizer(br.readLine());
				int n = Integer.parseInt(strLine.nextToken());
				int s = Integer.parseInt(strLine.nextToken());
				int p = Integer.parseInt(strLine.nextToken());
				int ccc = 0;
				for(int j=0;j<n;++j) {
					int d = Integer.parseInt(strLine.nextToken());
					int c = d / 3;
					int r = d - c*3;
					if(c >= p) {
						++ccc;
					}
					
					else {
						if(p-c == 1) {
							if(r > 0)
								++ccc;
							else {
								if(s > 0 && (c-1 >=0)) {
									++ccc;
									--s;
								}
							}
						}
						if(p - c == 2) {
							if(s > 0) {
								if(r == 2) {	
									++ccc;
									--s;
								}
							}
						}
					}
				}
				out.write("Case #"+(i+1)+": " + ccc);
				out.write("\r\n");
				System.out.println("Case #"+(i+1)+": " + ccc);
			}
			//Close the input stream
			in.close();
			out.close();
		}catch (Exception e){//Catch exception if any
			System.err.println("Error: " + e.getMessage());
		}	
	}

}
