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