#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<<endl; return 0; }