#include <bits/stdc++.h>
using namespace std;
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    int a, b, c;
    cin >> a >> b >> c;
    cout << (a * 20 + b * 30 + c * 50) / 100 << "\n";
    return 0;
}