N = int(input())

l = list(map(int, input().split()))

l.sort()
android = l[-1]

for i in range(len(l) - 1):
    android += l[i] // 2

print(android)