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