n = int(input())
X = list(map(int, input().split()))
X.sort()
ans = 0
for i in range(n - 1):
    ans += X[i] // 2
print(ans + X[-1])