#include<bits/stdc++.h>
using namespace std;
int main(){
int a,b,x,y,z;
cin>>a>>b>>x;
cout<<a*0.2+b*0.3+x*0.5;//20%=0.2 30%=0.3 50%=0.5
}
01-11
1115

11-14
270

06-24
4662

11-26
214
