#include <iostream>
using namespace std;

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