#yuki_549

n=int(raw_input())
x=map(int,raw_input().split())
y=sorted(x)
res=y[-1]
for i in xrange(len(x)-1):
 res+=y[i]/2
print res