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