#include <iostream>
#include <vector>
#include <string>
#include <algorithm>

using namespace std;

int main()
{
    const int prices[] = { 300, 350, 400 };

    int a, b, c;
    cin >> a >> b >> c;

    int counts[] = { a, b, c };

    int p = 10;
    int price = 0;

    for (int i = 0; i < 3; i++)
    {
        int bought = min(counts[i], p);
        price += bought * prices[i];
        p -= bought;
        if (p == 0)
        {
            break;
        }
    }

    if (p != 0)
    {
        price = -1;
    }

    cout << price;
}