#include <bits/stdc++.h> using namespace std; int main() { int a, b, c; cin >> a >> b >> c; int total = a * 20 / 100 + b * 30 / 100 + c * 50 / 100; cout << total << endl; return 0; }