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

int main(){
	double v1,v2,v3,v4,v5,v6,v7;
	cin >> v1 >> v2 >> v3 >> v4 >> v5 >> v6 >> v7;
	double spr = 0,winter = 0,AF = 0,fish = 0;
	double ans1 = 0,ans2 = 0;
	
	//钓鱼
	fish = (v7 + v7 - 27) * 14;
	
	//种地流
	double a,b,c,d;
	spr = max(v1 * 480,v2 * 600);
	a = v3 * 300 + v5 * 200;//夏天杨桃 秋天南瓜
	b = v3 * 300 + v4 * 400;//夏天杨桃 秋天玉米 
	c = v4 * 400 + v5 * 200;//夏天玉米 秋天南瓜 
	d = v4 * 1100;////夏天秋天都是玉米
	ans1 = spr + max(max(a,b),max(c,d)) + fish;
	
	//上古水果流
	AF = v6 * 900;
	fish = (v7 + v7 - 27) * 14;
	winter = max(AF * 1.5,fish + AF);
	ans2 = winter;
	
	printf("%.2f",max(ans1,ans2));
	
	return 0;
}