#include <iostream>
#include <cstdio>
#include <string>
#include <vector>
#include <map>
#include <cstring>
#include <iterator>
#include <cmath>
#include <algorithm>
#include <stack>
#include <deque>
#include <map>

#define lson l, m, rt<<1
#define rson m+1, r, rt<<1|1

const int maxn = 1e5;
using namespace std;

int dp[maxn]; // dp(i, j) 表示前 i 首歌儿正好唱 j s
int t[100];

int main() {
    int T;
    scanf( "%d", &T );
    for( int c = 1; c <= T; c++ ) {
        int n;
        int tot;
        scanf( "%d%d", &n, &tot );
        for( int i = 1; i <= n; i++ ) {
            scanf( "%d", &t[i] );
        }
        tot--;
        memset(dp, 0, sizeof(dp) );
        int res = 0;
        for( int i = 1; i <= n; i++ ) {
            for( int j = tot; j >= t[i]; j-- ) {
//                if( i == 2 && j == 99 ) {
//                    cout << dp[1][30] << endl;
//                    
//                }
                if( dp[j-t[i]] >= 1 || j == t[i] ) {
                    dp[j] = max( dp[j], dp[j-t[i]]+1 );
                    res = max( res, dp[j] );
                }
            }
        }
        int i;
        for(i = tot; dp[i] != res; i--);
        if(res == 0)
            printf("Case %d: %d %d\n", c, 1, 678);
        else
            printf("Case %d: %d %d\n", c, 1 + res, i + 678);
    }
    return 0;
}