input()
ls = [int(x) for x in input().strip().split()]
ls.sort()
n = ls[-1]
for x in ls[:-1]:
    n += x // 2
print(n)