n = int(input())
lst = list(map(int,input().split()))
lst.sort()
m = lst.pop()
for i in lst:
    m += i//2
print(m)