#include<bits/stdc++.h> using namespace std; int main(){ double A,B,C; cin>>A>>B>>C; cout<<A*0.2+B*0.3+C*0.5; return 0; }