import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

S = list(map(int,read().split()))

S.sort()

answer = sum(S[1:-1]) / 4

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