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