input = STDIN.readlines.map{|line|line.strip.split()}
n = input[0][0].to_i

max = 0
sum = 0
n.times do |num|
    p = input[num + 1][0].to_i
    if p > max then
        max = p
    end
    sum += p
end
puts(sum - max / 2)
