import math

n = int(input())
androids = [int(x) for x in input().split()]
androids.sort()

biggest = androids[-1]
others = androids[:-1]

result = biggest + sum([math.floor(x/2) for x in others])

print(result)