import sys
input=lambda: sys.stdin.readline().rstrip()
n=int(input())
X=[int(i) for i in input().split()]
X.sort(reverse=True)
ans=X[0]
for i in range(1,n):
  ans+=X[i]//2
print(ans)