n = int(input())

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

k = x.index(max(x))
b = max(x)

for i in range(n):
    if i != k:
        b += x[i] // 2

print(b)