let () =
  Scanf.scanf "%d" @@ fun n ->
  let p = Array.init n (fun _ -> Scanf.scanf " %d" ((+) 0)) in
  Array.sort (-) p;
  let s = Array.fold_left (+) 0 p in
  Printf.printf "%d\n" (s - p.(n-1) / 2)
