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