package com.gcj.parser;

public class MaxPoints {

	public static int normal(int value){
		int toReturn = 0;
		switch (value) {
		case 0 : toReturn = 0 ; break;
		case 1 : toReturn = 1 ; break;
		case 2 : toReturn = 1 ; break;
		case 3 : toReturn = 1 ; break;
		case 4 : toReturn = 2 ; break;
		case 5 : toReturn = 2 ; break;
		case 6 : toReturn = 2 ; break;
		case 7 : toReturn = 3 ; break;
		case 8 : toReturn = 3 ; break;
		case 9 : toReturn = 3 ; break;
		case 10 : toReturn = 4 ; break;
		case 11 : toReturn = 4 ; break;
		case 12 : toReturn = 4 ; break;
		case 13 : toReturn = 5 ; break;
		case 14 : toReturn = 5 ; break;
		case 15 : toReturn = 5 ; break;
		case 16 : toReturn = 6 ; break;
		case 17 : toReturn = 6 ; break;
		case 18 : toReturn = 6 ; break;
		case 19 : toReturn = 7 ; break;
		case 20 : toReturn = 7 ; break;
		case 21 : toReturn = 7 ; break;
		case 22 : toReturn = 8 ; break;
		case 23 : toReturn = 8 ; break;
		case 24 : toReturn = 8 ; break;
		case 25 : toReturn = 9 ; break;
		case 26 : toReturn = 9 ; break;
		case 27 : toReturn = 9 ; break;
		case 28 : toReturn = 10 ; break;
		case 29 : toReturn = 10 ; break;
		case 30 : toReturn = 10 ; break;

		}

		return toReturn;
	}

	public static int surprising(int value){
		int toReturn = 0;
		switch (value) {
		case 0 : toReturn = 0 ; break;
		case 1 : toReturn = 1 ; break;
		case 2 : toReturn = 2 ; break;
		case 3 : toReturn = 2 ; break;
		case 4 : toReturn = 2 ; break;
		case 5 : toReturn = 3 ; break;
		case 6 : toReturn = 3 ; break;
		case 7 : toReturn = 3 ; break;
		case 8 : toReturn = 4 ; break;
		case 9 : toReturn = 4 ; break;
		case 10 : toReturn = 4 ; break;
		case 11 : toReturn = 5 ; break;
		case 12 : toReturn = 5 ; break;
		case 13 : toReturn = 5 ; break;
		case 14 : toReturn = 6 ; break;
		case 15 : toReturn = 6 ; break;
		case 16 : toReturn = 6 ; break;
		case 17 : toReturn = 7 ; break;
		case 18 : toReturn = 7 ; break;
		case 19 : toReturn = 7 ; break;
		case 20 : toReturn = 8 ; break;
		case 21 : toReturn = 8 ; break;
		case 22 : toReturn = 8 ; break;
		case 23 : toReturn = 9 ; break;
		case 24 : toReturn = 9 ; break;
		case 25 : toReturn = 9 ; break;
		case 26 : toReturn = 10 ; break;
		case 27 : toReturn = 10 ; break;
		case 28 : toReturn = 10 ; break;
		case 29 : toReturn = 10 ; break;
		case 30 : toReturn = 10 ; break;

		}
		return toReturn;
	}

}

import java.io.*;

class Dancing 
{
	public static void main(String args[]) throws IOException
	{
		BufferedReader in=new BufferedReader(new FileReader("in.txt"));
		PrintWriter out=new PrintWriter(new FileWriter("out.txt"));
		int tests=Integer.parseInt(in.readLine());
		for(int i=0;i<tests;i++)
		{
			String data[]=in.readLine().split("\\s+");
			int people=Integer.parseInt(data[0]);
	        int surprise=Integer.parseInt(data[1]);
	        int min_score=Integer.parseInt(data[2]);	   
	        int count=0;
	    
	        for(int j=3;j<data.length;j++)
	        {
	        	int quot=Integer.parseInt(data[j])/3;
	        	switch (Integer.parseInt(data[j]) % 3)
	        	{
	        		case 0:
	        			if (quot>=min_score)
	        			{
	        				count++;
	        			}
	        			else
	        			{
	        				if (surprise>0 && quot>0 && quot+1>=min_score)
	        				{            
	        					count++;
	        					surprise--;
	        				}            
	        			}         
	        			break;

	        		case 1:
	        			if (quot>=min_score || quot+1>=min_score)
	        			{
	        				count++;
	        			}
	        			else
	        			{
	        				if (surprise>0 && quot+1>=min_score)
	        				{
	        					count++;
	        					surprise--;
	        				}
	        			}

	        			break;
	        
	        		case 2:
	       				if (quot+1>=min_score || quot>=min_score)
	       				{
	       					count++;
	       				}
	       				else
	       				{
	       					if (surprise>0 && quot+2>=min_score)
	       					{
	       						count++;
	       						surprise--;
	       					}
	       				}
	        			break;
        		}
	        	
	        }
	        out.println("Case #"+(i+1)+": "+count);
	        out.flush();
		}
	}
}
