n = gets.to_i
ps = []
while price = gets do
    ps.push(price.to_i)
end

ps = ps.sort.reverse
max = ps[0]
ps.delete_at(0)
waribiki = max/2
sum = 0
ps.each do |p|
    sum = sum + p
end

puts sum + waribiki