#include<bits/stdc++.h>
using namespace std;
int main()
{
double a,b,c,e;
cin>>a>>b>>c;
cout<<a*0.2+b*0.3+c*0.5;
return 0;
}
07-25
1717
07-22
2236
07-24
2255
07-30
311