S = list(map(int, input().split()))
S.sort()
Ave = str(sum(S[1:5]) * 25)
d = len(Ave)
integer = Ave[0:d - 2]
demical = Ave[d - 2:d]
if integer == '':
    integer = '0'
if demical == '0':
    demical = '00'
print(integer + '.' + demical)