N = int(input())
Xs = list(map(int, input().split()))
Xs.sort()
core = Xs[-1]
for x in Xs[:-1]:
    core += x//2
print(core)