from statistics import mean

score_list = list(map(int, input().split()))

score_list.remove(max(score_list))
score_list.remove(min(score_list))

ans = mean(score_list)

print('{:.2f}'.format(ans))