#include <bits/stdc++.h>
using namespace std;

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    vector dp(11,vector(101,vector(10001,-1)));
    int a,b,c; cin >> a >> b >> c;
    dp.at(a).at(b).at(c) = 0;

    int db,b3,b2,b1; cin >> db >> b3 >> b2 >> b1;
    int dc,c3,c2,c1; cin >> dc >> c3 >> c2 >> c1;


    int answer = 0;
    for(int sum=10000; sum>=0; sum--){
        for(a=0; a*1000<=sum; a++) for(int b=0; a*1000+b*100<=sum; b++){
            int c = sum-a*1000-b*100;
            if(dp.at(a).at(b).at(c) == -1) continue;
            int d = dp[a][b][c];
            for(int x=0; x*1000<=db&&x<=a; x++) for(int y=0; x*1000+y*100<=db&&y<=b; y++){
                int z = db-x*1000-y*100;
                if(z > c) continue;
                int &d2 = dp[a-x+b3][b-y+b2][c-z+b1];
                d2 = max(d2,d+1);
            }
            for(int x=0; x*1000<=dc&&x<=a; x++) for(int y=0; x*1000+y*100<=dc&&y<=b; y++){
                int z = dc-x*1000-y*100;
                if(z > c) continue;
                int &d2 = dp[a-x+c3][b-y+c2][c-z+c1];
                d2 = max(d2,d+1);
            }
            answer = max(answer,d);
        }
    }
    cout << answer << endl;
}