import java.util.Scanner;
import java.io.*;
class dance
{
  public static void main (String[] args) throws IOException
  { 
    File    inputData = new File("B-small-attempt0.in");
	File 	outputData= new File("Boutput.txt");
    Scanner scan = new Scanner( inputData );
	PrintStream print= new PrintStream(outputData);
    
	int t;
	int n,s,p,pi;
	t= scan.nextInt();
	for(int i=1;i<=t;i++)
	{
	n=scan.nextInt();	s=scan.nextInt();	p=scan.nextInt();
	int supTrip=0, notsupTrip=0;
	
	for(int j=0;j<n;j++)
	{
		pi=scan.nextInt();
		if(pi>(3*p-3))
		notsupTrip++;
		else if((pi>=(3*p-4))&&(pi<=(3*p-3))&&(pi>p))
		supTrip++;
	}
	
	if(s<=supTrip)
	notsupTrip=notsupTrip+s;
	else if(s>supTrip)
	notsupTrip= notsupTrip+supTrip;
	print.println("Case #"+i+": "+notsupTrip);
	}
  }
}
/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package google.code.jam;

import java.io.File;
import java.io.FileNotFoundException;
import java.util.Scanner;
import java.util.logging.Level;
import java.util.logging.Logger;

/**
 *
 * @author Bogatinovi
 */
public class B {
    public static void main(String[] args) {
            Scanner in = new Scanner(System.in);
            int T = in.nextInt();
            int br=0;
            for(int i=1;i<=T;i++){
                int Googlers = in.nextInt();
                int suprising = in.nextInt();
                int p = in.nextInt();
                    for(int j=0;j<Googlers;j++){
                        int res=in.nextInt();
                      if(res>=p){
                        if(p*3<=res){++br;}
                        else if((res-p)>=(2*p-2)){
                            br++;
                        }
                        else if(suprising>0){
                            res-=p;
                            if((2*p-4)<=res){
                                br++;
                                suprising--;
                            }
                        }
                      }
                      }
            System.out.println("Case #"+i+": "+br);
            br=0;
            }
    }
}
