#android
N=int(input())
x=[int(i) for i in input().split()]
x.sort(reverse=True)
M=x[0]
for i in range(1,N):
    M+=x[i]//2
  #  print (i)
print(M)