let n = Scanf.scanf " %d" @@ (+) 0
let a_s = Array.init n @@ fun _ -> Scanf.scanf " %d" @@ (+) 0
let s = Array.fold_left (+) 0 a_s
let m = Array.fold_left max 0 a_s
let _ = Printf.printf "%d\n" @@ s - m / 2