fun main(args: Array<String>) {
    val n = readLine()!!.toInt()
    val p = (1..n).map { readLine()!!.toInt() }
    val desc = p.sortedDescending()
    val sum = desc.first() / 2 + desc.filterIndexed { index, i -> index > 0 }.sum()
    println(sum)
}