#include<bits/stdc++.h> using namespace std; int main(){ double a,b,c; cin>>a>>b>>c; printf("%.1f",a8.5+b5.6+c*6.2); return 0; }

#include<stdio.h>
#include<iostream>
using namespace std;
int main()
{
float x;
double a,b,c;//这里因为题目说输入值是小数，本来斤数也是小数，所以用double类型保存
cin>>a>>b>>c;
a=a*8.5;
b=b*5.6;
c=c*6.2;
x=a+b+c;
printf("%.1f",x);
}