#include<bits/stdc++.h>
using namespace std;

int main() {
    double x,y,z;  // [1] x-苹果的购买斤数，y-鸭梨的购买斤数，z-橙子的购买斤数
    cin>>x>>y>>z;  // [2] 读取三种水果的购买斤数
    // [3] 计算应付总金额：苹果斤数×单价 + 鸭梨斤数×单价 + 橙子斤数×单价
    double price=x*8.5+y*5.6+z*6.2;
    printf("%.1f",price);  // [4] 输出应付金额，结果保留1位小数
    return 0;                  
}