#include<bits/stdc++.h>
using namespace std;
void solve(int tc)
{
    int one1,one2,one3,l; cin>>one1>>one2>>one3>>l;
    int two3 = l/2;
    l -= (two3*2);
    int ans=0;

    int dif = min(two3,one3);
    ans += dif;
    two3 -= dif;
    one3 -= dif;
    
    dif = min(two3,min(one1,one2));
    ans += dif;
    two3 -= dif;
    one1 -= dif;
    one2 -= dif;
    
    dif= min(two3,one1/3);
    ans += dif;
    two3 -= dif;
    one1 -= dif*3;

    //l += two3*2;
    if(l==1)
    {
        if(one3 && one2 && one1)
        {
            ans+=1;
            one3--;
            one1--;
            one2--;
        }
        else if(one1>=3)
        {
            ans++;
            one1-=3;
        }
        else if(one2>=2 && one1>=2)
        {
            ans++;
            one2-=2;
            one1-=2;
        }
        else if(one1>=6)
        {
            ans++;
            one1-=6;
        }
    }

    ans += one3/3;
    one3 = one3%3;
    dif = min(one3,(one2*2)/6);
    ans += dif;
    one3-=dif;
    one2 -= dif*2;

    if(one3==2)
    {
        if(one1 && one2)
        {
            ans++;
            one3=0;
            one1--;
            one2--;
        }
        else if(one1>=3)
        {
            ans++;
            one3=0;
            one1-=3;
        }
    }
    if(one3>=1)
    {
        if(one2*2+one1 >=6)
        {
            ans++;
            one1 -= 6-one2*2;
            one2=0;
        }
    }
    ans += min((one2*2+one1)/9,one1);
    cout<<"Case "<<tc<<": ";
    cout<<ans<<endl;
}
int main(){int t; cin>>t; for(int i=1;i<=t;i++) solve(i);}