#include<bits/stdc++.h>
using namespace std;
int main ()
{
    double a,b,c,s;
    cin >> a >> b >> c;
    s = a*0.2 + a*0.3 + c*0.5;
    printf("%.0lf",s);
    return 0;
}