S = map(int, raw_input().split())
S.sort()
sum = 0
for i in range(1, 5):
	sum += S[i]
average100 = str(sum*25)
ans = ''
for i in range(0, len(average100)):
	ans = average100[-i-1] + ans
	if i == 1: ans = '.' + ans
if len(ans) == 1: ans = '0.0' + ans
if len(ans) == 3: ans = '0' + ans
print ans