#include<bits/stdc++.h> using namespace std; int main(){ double s=10.4,n=15.6,g=25.2,ans; double a,b,c; cin>>a>>b>>c; ans=a*s+b*n+c*g; printf("%.1lf",ans); return 0; }