tjut 3591

#include <cstdio>  
#include <cstring>  
#include <cmath>  
#include <cstdlib>  
#include <vector>  
#include <map>  
#include <iostream>  
#include <algorithm>  
using namespace std;  
const int maxn=1e2+10;  
const int maxm=2e4+10;  
const int INF=1e8;  
int c[maxn],v[maxn],f[maxm],g[maxm];  
int main()  
{  
    int n,m,tt=0;  
    while(scanf("%d%d",&n,&m)!=EOF)  
    {  
        if(n==0&&m==0)break;  
        int i,j,k;  
        for(i=0;i<n;i++)  
            scanf("%d",&v[i]);  
        for(i=0;i<n;i++)  
            scanf("%d",&c[i]);  
        for(i=1;i<=20000;i++)  
        {  
            g[i]=f[i]=INF;  
        }  
        f[0]=g[0]=0;  
        //完全背包  
        for(i=0;i<n;i++)  
        {  
            for(j=v[i];j<=20000;j++)  
            g[j]=min(g[j],g[j-v[i]]+1);  
        }  
        //多重背包  
        for(i=0;i<n;i++)  
        {  
            if(v[i]*c[i]>=20000)  
            {  
                for(j=v[i];j<=20000;j++)  
                f[j]=min(f[j],f[j-v[i]]+1);  
                continue;  
            }  
            for(k=1;k<c[i];k=k*2)  
            {  
                for(j=20000;j>=v[i]*k;j--)  
                f[j]=min(f[j],f[j-v[i]*k]+k);  
                c[i]-=k;  
            }  
            for(j=20000;j>=c[i]*v[i];j--)  
                f[j]=min(f[j],f[j-v[i]*c[i]]+c[i]);  
        }  
  
        int ans=INF;  
        for(i=m;i<=20000;i++)  
            ans=min(ans,f[i]+g[i-m]);  
        if(ans==INF)ans=-1;  
        printf("Case %d: %d\n",++tt,ans);  
    }  
    return 0;  
}