#include <bits/stdc++.h>
using namespace std;
int a[6];
int main() {
	for(int i = 0; i < 6; i++) cin >> a[i];
	sort(a, a + 6);
	int s = a[1] + a[2] + a[3] + a[4];
	s *= 25;
	printf("%d.%02d\n", s / 100, s % 100);
	return 0;
}