package dancinggooglers;

import java.io.File;
import java.util.Scanner;

public class DanceScoreCalculator {


    public static void main(String[] args) {
        if(args.length <= 0 || args[0] == null) {
            System.out.println("You must enter a file to read");
            System.out.println("Usage: blah <filename>");
            System.exit(0);
        }

        File argFile = new File(args[0]);
        try {
            Scanner googleSpeakScanner = new Scanner(argFile);
            String firstLine = googleSpeakScanner.nextLine();
            Integer linesToScan = new Integer(firstLine);
            for(int i = 1; i <= linesToScan; i++) {
                String googleDancerLine = googleSpeakScanner.nextLine();
                DanceScoreCase danceCase = new DanceScoreCase(googleDancerLine);
                System.out.println(String.format("Case #%d: %d", i, danceCase.maxDancersThatCouldPass()));
            }
        }
        catch (Exception e) {
            e.printStackTrace();
        }
    }
}

import java.io.*;

public class dancing {
	
	static int N;
	static int S;
	static int p;
	static int[] t;
	
	public static boolean normal(int tot){
		int max = tot%3==0?tot/3:tot/3+1;
		return max>=p;
	}
	
	public static boolean surprising(int tot){
		int max = tot==0?0:(tot+1)/3+1;
		
		return max>=p;
	}
	
	
	public static int solve(){
		int DB=0;
		int SDB = S;
		for(int i=0; i<N; i++){
			if(normal(t[i])) DB++;
			else if(SDB > 0 && surprising(t[i])){
				DB++; SDB--;
			}
		}
		
		return DB;
	}
	
	public static void main (String args[]) throws IOException{
		
		
		BufferedReader be = new BufferedReader(new FileReader("B-large.in"));
		int T = Integer.parseInt(be.readLine());
		for(int i=1; i<=T; i++){
			String s = be.readLine();
			N = Integer.parseInt(s.split(" ")[0]);
			S = Integer.parseInt(s.split(" ")[1]);
			p = Integer.parseInt(s.split(" ")[2]);
			t = new int[N];
			for(int j = 0; j < N; j++)
				t[j] = Integer.parseInt(s.split(" ")[j+3]);
			System.out.println("Case #"+i+": "+solve());
		}
		be.close();
	}
}

