n = input()
lis = map(int, raw_input().split())

lis.sort()
ans = 0
for i in range(len(lis) - 1):
    ans += lis[i] / 2
ans += lis[len(lis) - 1]
print ans