#include<bits/stdc++.h>
using namespace std;
#define int long long
const int N=1e5+5;
struct PII{
    int sum,cnt;
}dp[N];
PII mmin(PII A,PII B)
{
	if(A.sum==B.sum)
	{
		return A.cnt<B.cnt?A:B;
	}
	return A.sum<B.sum?A:B;
}
int cost[100][100];
signed main()
{
    int x,y,idx=1;
    PII t;
    while(~scanf("%lld%lld",&x,&y))
    {
        for(int i=0;i<3;i++)
        {
            for(int j=0;j<10;j++)
            {
                scanf("%lld",&cost[j][i]);
            }
        }
        memset(dp,0x3f,sizeof dp);
        dp[0].cnt=1;dp[0].sum=cost[0][2];
        dp[x].cnt=dp[x].sum=0;
        for(int i=1;i<=y;i++)
        {
            t.sum=dp[i/10].sum+cost[i%10][0];
            t.cnt=dp[i/10].cnt+1;
            dp[i]=mmin(dp[i],t);
            for(int j=1;j<10;j++)
            {
                if(i-j>=0)
                {
                    t.sum=dp[i-j].sum+cost[j][1];
                    t.cnt=dp[i-j].cnt+1;
                    dp[i]=mmin(dp[i],t);
                }
                if(i%j==0)
                {
                    t.sum=dp[i/j].sum+cost[j][2];
                    t.cnt=dp[i/j].cnt+1;
                    dp[i]=mmin(dp[i],t);
                }
            }
        }
        printf("Case %lld: %lld %lld\n",idx++,dp[y].sum,dp[y].cnt);
    }
    return 0;
}