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