#include <iostream>
using namespace std;

int main() {
    int A,B,C;
    cin>>A>>B>>C;
    int S=A*0.2+B*0.3+C*0.5;
    cout<<S;
}
// 64 位输出请用 printf("%lld")