#include <iostream>
using namespace std;
int main()
{
    int a,s,d,num;
    cin >> a,s,d;
    num = a*0.2 + s*0.3 +s*0.5;
    cout << num;
}