#include<bits/stdc++.h>
using namespace std;
double Chinese, Math, English, Physics;
int main(){
	cin >> Chinese >> Math >> English >> Physics;
	double C = Chinese * 0.25, M = Math * 0.35, E = English * 0.25, P = Physics * 0.15;
	cout << C + E + M + P;
	return 0;
}