n = gets.to_i
x = gets.split.map(&:to_i).sort
ans = x[-1]
(n - 1).times do |i|
    ans += x[i] / 2
end
p ans