#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int mes[5000];
int criado[5000];
int main(){
    //freopen("in.txt", "r", stdin);
    //freopen("out.txt", "w", stdout);
    int n, cont = 0;
    while(cin>>n){
        if(n<0)break;
        else{
            cont++;
            cout<<"Case "<<cont<<":\n";
            for(int i = 0;i<12;i++){
                cin>>criado[i];
            }
            for(int i = 0;i<12;i++){
                cin>>mes[i];
            }
            int sobra = n;
            for(int i = 0;i<11;i++){
                if(sobra>=mes[i]){
                    sobra-=mes[i];
                    sobra+=criado[i];
                    cout<<"No problem! :D\n";
                }else{
                    cout<<"No problem. :(\n";
                    sobra+=criado[i];
                }
            }
        }
    }
}