import sequtils,algorithm
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
proc scan(): int =
  while true:
    let k = getchar_unlocked()
    if k < '0': break
    result = 10 * result + k.ord - '0'.ord
let n = scan()
let X = newSeqWith(n,scan()).sorted(cmp,Descending)
var ans = X[0]
for i in 1..<n:
  ans += X[i] div 2
echo ans