n = int(input())
A = list(map(int, input().split()))

A.sort()
ans = A[n - 1]
for i in range(n - 1):
    ans += A[i] // 2
print(ans)