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