#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int MAXN=20020;
ll w[MAXN],t[MAXN],l[MAXN],cnt[MAXN];
int read() {
  int x = 0, w = 1;
  char ch = 0;
  while (ch < '0' || ch > '9') {
    if (ch == '-') w = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') {
    x = x * 10 + (ch - '0');
    ch = getchar();
  }
  return x * w;
}
inline void write(int x) {
  static int sta[35];
  int top = 0;
  do {
    sta[top++] = x % 10, x /= 10;
  } while (x);
  while (top) putchar(sta[--top] + 48);
}
int main(){
  ll T,M,QT;
  QT=read();
  for(int i=1;i<=QT;i++){
  	memset(l,0,sizeof l);
  	memset(cnt,0,sizeof cnt);
	M=read(),T=read();
	T=T-1;
	for(int i=1;i<=M;i++){
	    t[i]=read();
	}
	for(int i=1;i<=M;i++){
		for(int j=T;j>=t[i];j--){
			if(l[j-t[i]]+t[i]>l[j]){
				l[j]=l[j-t[i]]+t[i];
				cnt[j]=cnt[j-t[i]]+1;
			}
	    }
	  }
	cout<<"Case "<<i<<": ";
	write(cnt[T]+1);
	putchar(32);
	write(l[T]+678);

	  
  }
  
  return 0;

}

@又菜又爱玩