#include <iostream>

using namespace std;

int main()
{
    int a,b,c,ossz=0,k=-1;
    cin>>a>>b>>c;
    if(a+b+c>=10)
    {
       for(int i=0;i<10;i++)
    {
        if(a>0)
        {
            ossz=ossz+300;
            a--;
        }
        else if(b>0)
        {
            ossz=ossz+350;
            b--;
        }
        else if(c>0)
        {
            ossz+=400;
            c--;
        }
    }
    cout<<ossz<<endl;
    }
    else
    {
        cout<<k<<endl;
    }
    return 0;
}