#include<bits/stdc++.h>

using namespace std;

int d[][]={{,},{,},{,},{,},{,},{,}};

int t[][][][] ;

int arr[+];

void dfs(int x){

    if(x==) {

        t[arr[]][arr[]][arr[]][arr[]]++;

        return ;

    }

    for(int i=;i<=;i++){

        if(i==){

            arr[d[x][]]++;

            arr[d[x][]]++;

                dfs(x+);

             arr[d[x][]]--;

            arr[d[x][]]--;

        }

        else if(i==){

            arr[d[x][]]+=;

            dfs(x+);

            arr[d[x][]]-=;

        }

        else {

            arr[d[x][]]+=;

            dfs(x+);

            arr[d[x][]]-=;

        }

    }

}

void solve(int xx){

    int a,b,c,d;

    cin>>a>>b>>c>>d;

    printf("Case #%d: ",xx);

    if(a>=||b>=||c>=||d>=)    puts("Wrong Scoreboard");

    else if(t[a][b][c][d]==) puts("Yes");

    else if(t[a][b][c][d]==) puts("Wrong Scoreboard");

    else  puts("No");

}

int main(){

    dfs();

    int t;

    cin>>t;

    for(int i=;i<=t;i++) solve(i);

    return ;

}