object Main extends App {
  val in = io.Source.stdin.getLines.toIndexedSeq.tail.map(_.toInt)
  //println(in)
  val rv = in.sorted.reverse
  //println(rv)
  val ret = rv.sum - rv.head/2
  println(ret)
}
