n = gets.chomp.to_i
ps = n.times.map { gets.chomp.to_i }

max = 0
max_i = -1
ps.each.with_index do |p, i|
  if max < p
    max = p
    max_i = i
  end
end

total = max / 2
ps.each.with_index do |p, i|
  next if i == max_i
  total += p
end

p total
