N = int(input())
x = list(map(int, input().split()))
x = sorted(x)
ans = x[-1]
for i in range(N - 1):
	ans += x[i] // 2

print(ans)