import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

N,*X = map(int,read().split())

X.sort()

X

x = X[-1]
S = sum(x//2 for x in X[:-1])

x += S
print(x)