scores = list(map(int, input().split()))
sorted_scores = sorted(scores)
trimmed = sorted_scores[1:-1]
average = sum(trimmed) / 4
print("{0:.2f}".format(average))