// Source: https://usaco.guide/general/io

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

int main() {
    int a,b,c;cin>>a>>b>>c;
    int db=10;
    int ans=0;
    ans+=min(a,db)*300;
    db-=min(a,db);
    if(db==0){
        cout<<ans;
        return 0;
    }
    ans+=min(b,db)*350;
    db-=min(b,db);
    if(db==0){
        cout<<ans;
        return 0;
    }
    ans+=min(c,db)*400;
    db-=min(c,db);
    if(db==0){
        cout<<ans;
        return 0;
    }
    cout<<-1;
}