import sys
readline=sys.stdin.readline

S=list(map(int,readline().split()))
ans=25*(sum(S)-max(S)-min(S))
ans=str(ans)
ans="0"*(3-len(ans))+ans
print(ans[:-2]+"."+ans[-2:])