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.FileReader;
import java.io.LineNumberReader;
import java.io.PrintWriter;
import java.util.Scanner;

public class go2 {

    public static final String IN_FILE = "B-small-attempt0.in";
    public static final String OUT_FILE = "out.txt";


    public static void main(String[] args) throws Throwable {

        try (LineNumberReader reader = new LineNumberReader(new FileReader(IN_FILE))) {
            try (PrintWriter writer = new PrintWriter(OUT_FILE)) {

                int T = Integer.parseInt(reader.readLine());

                //Tests
                for (int t = 1; t <= T; t++) {
                    Scanner scanner = new Scanner(reader.readLine());
                    int N = scanner.nextInt();
                    int S = scanner.nextInt();
                    int P = scanner.nextInt();

                    int result = 0;
                    int bothSurprisingAndNotSurprising = 0;

                    for (int i = 0; i < N; i++) {
                        int currentScore = scanner.nextInt();
                        if (currentScore == 0) {
                            if (P == 0) {
                                result++;
                            }
                        } else if (currentScore == 1) {
                            if (P == 0 || P == 1) {
                                result++;
                            }
                        } else if (currentScore == 30) {
                            result++;
                        } else if (currentScore == 29) {
                            result++;
                        }
                        // 2 <= currentScore <= 28
                        else {
                            int bestSurprising;
                            int bestNotSurprising;

                            if ((currentScore % 3 == 0)) {
                                bestSurprising = (currentScore / 3) + 1;
                                bestNotSurprising = (currentScore / 3);
                            }
                            else if ((currentScore % 3 == 1)) {
                                bestNotSurprising = bestSurprising = (currentScore / 3) + 1;
                            }
                            else {
                                bestSurprising = (currentScore / 3) + 2;
                                bestNotSurprising = (currentScore / 3) + 1;
                            }

                            if(bestNotSurprising < P && bestSurprising == P){
                                if(S > 0) {
                                    S--;
                                    result++;
                                }
                            }
                            else if(bestNotSurprising >= P){
                                bothSurprisingAndNotSurprising++;
                            }
                        }
                    }

                    result += bothSurprisingAndNotSurprising;

                    writer.printf("Case #%d: %d\n", t, result);
                }
            }
        }
    }
}

