#include <iostream>
using namespace std;

int main() {
    int a, b,c;
    cin>>a>>b>>c;
    cout<<a*0.2+b*0.3+c*0.5;
    return 0;
    
}
// 64 位输出请用 printf("%lld")