n = int(input())
x = list(map(int, input().split()))
max_x = max(x)
cnt = x.count(max_x)
sum_half = (cnt - 1) * (max_x // 2)
for xi in x:
    if xi != max_x:
        sum_half += xi // 2
print(max_x + sum_half)