#include <iostream>
#include <vector>
#include <algorithm>
#include <cassert>
using namespace std;
int main(){
	vector<int> s(6);
	for(int i=0; i<6; i++){
		scanf("%d", &s[i]);
		assert(0<=s[i] && s[i]<=100);
	}
	int ans = accumulate(s.begin(), s.end(), 0) - *min_element(s.begin(), s.end()) - *max_element(s.begin(), s.end());
	ans *= 25;
	printf("%d.%02d\n", ans/100, ans%100);
}