/**
 * Created by IntelliJ IDEA.
 * User: Administrator
 * Date: 3/3/12
 * Time: 11:00 AM
 * To change this template use File | Settings | File Templates.
 */

import SRMLib.MathLibrary;
import SRMLib.TestSRMLib;
import com.sun.org.apache.bcel.internal.generic.F2D;

import java.io.*;
import java.util.*;
import java.util.zip.Inflater;

public class SRM {
    public static void main(String[] args) throws IOException {
        //TestSRMLib.run();
        codeJam1.main();

        return;
    }
}
class codeJam1 {
    public static void main() throws IOException {
        String inputPath = "E:\\input.txt";
        String outputPath = "E:\\output.txt";
        BufferedReader input = new BufferedReader(new FileReader(inputPath));
        BufferedWriter output = new BufferedWriter(new FileWriter(outputPath));

        String line;
        line = input.readLine();
        int T = Integer.parseInt(line);
        for (int i = 1; i <= T; ++i) {
            line = input.readLine();
            String[] words = line.split(" ");
            int N = Integer.parseInt(words[0]);
            int S = Integer.parseInt(words[1]);
            int p = Integer.parseInt(words[2]);
            int n = 0;
            int res = 0;

            for (int j = 3; j < words.length; ++j) {
                if (p == 0) {
                    res++;
                    continue;
                }

                int t = Integer.parseInt(words[j]);
                if (p == 1) {
                    if (t > 0)
                        res++;
                    continue;
                }
                if (t >= 3 * p - 2)
                    res++;
                else if (t >= 3 * p - 4)
                    n++;
            }

            res += Math.min(n, S);
            output.write("Case #" + i + ": " + res);
            output.newLine();
        }

        input.close();
        output.close();
    }
}

 import java.io.*;
import java.util.*;

class d{
  File ffff;
  FileReader fr;
  BufferedReader br;
 
  File fout;       
  FileWriter fw;
  BufferedWriter bw; 
  
 public void run(){
    try{
        
   ffff=new File("C:\\Users\\Dimitris\\Documents\\NetBeansProjects\\jam\\src\\B-small-attempt0.in");
   fr=new FileReader(ffff);
   br=new BufferedReader(fr);
    
   fout=new File("C:\\Users\\Dimitris\\Documents\\NetBeansProjects\\jam\\src\\output.out");
   fw=new FileWriter(fout);
   bw=new BufferedWriter(fw);
        
    
    
    int ipol;
    int diair;
    
    int loop=new Integer(br.readLine());
    int ii=1;
    
   for(int j=0;j<loop;j++){
    int res=0;
    int fail=0;
    
    
    String ss=br.readLine();
    String [] b=ss.split(" ");
    int[]a=new int[b.length];
    for(int i4=0;i4<b.length;i4++) a[i4]=new Integer(b[i4]);
     
    int t=a[2];
    int f=a[1];
    
    for(int i=3;i<a.length;i++){
        
        diair=a[i]/3;
        ipol=a[i]%3;
         
        
        if(a[i]==0){
            if(t==0) res++;
            continue;
        }
        
        
        if(diair>=t){
            res++;
        }
        
        
        else{
         
           if(ipol==0){
               if(fail!=f){
                   int j1=diair+1;
                   if(j1>=t){
                   res++;
                   fail++;
                   continue;
                   }
               }
           }
           if(ipol==1){
               int j2=diair+1;
               if(j2>=t){
                   res++;
                   continue;
               }
           }
           
           if(ipol==2){
               int j3=diair+1;
               if(j3>=t){
                   res++;
                   continue;
               }
               
               if(fail!=f){
                   int j4=diair+2;
                   if(j4>=t){
                   res++;
                   fail++;
                   continue;
                   }
               }
           }
           
           if(ipol>2) continue;
            
        }
             
    }//for
    String r=Integer.toString(res);
    bw.write("Case #"+ii+": "+r);
    bw.write('\n');
    ii++;
    
   }
   bw.close();
   br.close();
   }
    catch(Exception e){
        e.printStackTrace();
    }
 
    
}  //run
 
   
 public static void main(String[]args){
     d dd=new d();
     dd.run();
        
 }
} //class
