dp=list(map(int,input().split()))
list.sort(dp)
res=0
for i in range(1,5):
    res+=dp[i]
res/=4
print('{:.2f}'.format(res))