import java.io.BufferedReader;
import java.io.BufferedWriter;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.util.ArrayList;
import java.util.List;


public class Dancing_improved {
	
	static int f_Superan_limites(String params){
		  int superan_limite=0;
		  String[] parametros=params.split(" ");
		  
		  int n_participantes= Integer.parseInt(parametros[0]);
		  int n_sorprendidos= Integer.parseInt(parametros[1]);
		  int nota_limite= Integer.parseInt(parametros[2]);
		  
		  int suma_notas, resto, nota_juego;
		  for(int i=3;i<parametros.length;i++){ // Recorro las sumas de los participantes
			  
			  suma_notas=Integer.parseInt(parametros[i]);
			  resto=suma_notas%3;
			  
			  if(resto==0){ // el resto es el número triplicado!
				  nota_juego=suma_notas/3;
				  if(nota_juego>=nota_limite){
					  superan_limite++;
				  }else if(nota_juego-1>=0 && n_sorprendidos>0 && ((nota_juego+1)>=nota_limite || (nota_juego+2)>=nota_limite)){ // no supera el límite pero podría hacerlo si quedan sorprendidos
					  n_sorprendidos--;
					  superan_limite++;
				  }
			  }else if((suma_notas+1)%3==0){ // Tendré que jugar con el valor en +-1
				  nota_juego=(suma_notas+1)/3;
				  if(nota_juego-1>=0 && nota_juego>=nota_limite){
					  superan_limite++;
				  }else if(nota_juego-1>=0 && n_sorprendidos>0 && (nota_juego+1)>=nota_limite){
					  n_sorprendidos--;
					  superan_limite++;
				  }
			  }else if((suma_notas+2)%3==0){ // Tendré que jugar con el valor en +-2
				  nota_juego=(suma_notas+2)/3;
				  if(nota_juego-1>=0 && nota_juego>=nota_limite){
					  superan_limite++;
				  }		  
			  }			  
		  }
		  return superan_limite;
	}
	
	public static void main(String[] args) throws IOException {
		FileReader fr = new FileReader(args[0]);
		BufferedReader bf = new BufferedReader(fr);
		int ntest=0;
		
		FileWriter fstream = new FileWriter("out.txt");
		BufferedWriter out = new BufferedWriter(fstream);
		
		String lines = bf.readLine();
		String liner, linew;
		int lines_r=0;
		String[] numbers;
		int total;
		
		while((liner = bf.readLine())!=null && lines_r<=Integer.parseInt(lines)) {
			ntest++;
			numbers=liner.split(" ");
			total=f_Superan_limites(liner);
			linew="Case #"+ntest+": "+total+"\n";
			out.write(linew);
			lines_r++;
		}
		out.close();
		fr.close();
	}
}

import java.io.*;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.Collections;
import java.util.Comparator;


public class Utils {
	public static ArrayList<String> readFile(String filename){
		//replace local file with remote file from peerInfo address
		ArrayList<String> ret= new ArrayList<String>();
		try {
			FileInputStream fstream = new FileInputStream(filename);
		    // Get the object of DataInputStream
		    DataInputStream in = new DataInputStream(fstream);
		    BufferedReader br = new BufferedReader(new InputStreamReader(in));
		    String strLine;
		    //Read File Line By Line
		    while ((strLine = br.readLine()) != null)   {
		      // Print the content on the console
		      ret.add(strLine);
		    }
		    //Close the input stream
		    in.close();
				  
	    }
	   catch (Exception e) { e.printStackTrace(); }
	   return ret;
	}
	public static void writeFile(ArrayList<String> input, String filename){
		//replace local file with remote file from peerInfo address
		try{
		    // Create file 
		    FileWriter fstream = new FileWriter(filename);
		    BufferedWriter out = new BufferedWriter(fstream);
		    for (String string : input) {
		    	out.write(string+"\n");
			}
		    //Close the output stream
		    out.close();
	    }catch (Exception e){//Catch exception if any
	      System.err.println("Error: " + e.getMessage());
	    }
	}
	public static void compare(String filename1, String filename2){
		//replace local file with remote file from peerInfo address
		try {
			FileInputStream fstream1 = new FileInputStream(filename1);
		    // Get the object of DataInputStream
		    DataInputStream in1 = new DataInputStream(fstream1);
		    BufferedReader br1 = new BufferedReader(new InputStreamReader(in1));
		    String strLine1;
		    FileInputStream fstream2 = new FileInputStream(filename2);
		    // Get the object of DataInputStream
		    DataInputStream in2 = new DataInputStream(fstream2);
		    BufferedReader br2 = new BufferedReader(new InputStreamReader(in2));
		    String strLine2;
		    boolean isDup=false;
		    //Read File Line By Line
		    while ((strLine1 = br1.readLine()) != null)   {
		    	strLine2 = br2.readLine();
		      // Print the content on the console
		      if(!strLine1.equals(strLine2)){
		    	  isDup=true;
		    	  System.out.println("1="+strLine1+", 2="+strLine2);
		      }
		    }
		    if(!isDup){
		    	System.out.println("same");
		    }
		    //Close the input stream
		    in1.close();
		    in2.close();
				  
	    }catch (Exception e){//Catch exception if any
	      System.err.println("Error: " + e.getMessage());
	    }
	}

	public static void sort(String input, String output){
		//replace local file with remote file from peerInfo address
		ArrayList<String> l= readFile(input);
		Collections.sort(l, new Comparator(){
			public int compare(Object arg0, Object arg1) {
				String st1=(String)arg0;
				String st2=(String)arg1;
				int i1=Integer.parseInt(st1.substring(st1.indexOf('#')+1, st1.indexOf(':')));
				int i2=Integer.parseInt(st2.substring(st2.indexOf('#')+1, st2.indexOf(':')));
				return i1-i2;
			}
			
		});
		writeFile(l, output);
	}
}
