import random

MAX = int(1e8)

N = int(input())
x = list(map(int, input().split()))
x = sorted(x)
max_v = x[-1]
x.pop()
x = sorted(x, reverse=True)

for v in x:
    max_v += v // 2

print(max_v)