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