function Main(input) {
	input = input.trim().split("\n").map((list)=>Number(list));
  var len = input[0];
  input.shift();
  var max = Math.max.apply(null,input);
  input[input.indexOf(max)] = max / 2;
  var output = 0;
  for(var i = 0; i < input.length; i++){
    output += input[i];
  }
  console.log(output);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));
