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