function Main(input){
	input = input.split("\n").map((a)=>~~a);
  var highest = -1;
  var price = 0;
  for(var i = 1; i < input.length;i++){
  	price += input[i];
    if(highest < input[i]){
    	highest = input[i];
    }
  }
  price -= highest / 2;
  return ~~price;
}

// If you are interested in the algorithms I used, 
// there is no need to read down from this line.

((b,c,d)=>"undefined"!=typeof require?console.log(Main(require("fs").readFileSync("/dev/stdin","utf8"))):[b=b.split("\n").slice(1,-1).join("\n"),c=function(){try{return Main(b)}catch(f){return f.stack||f.message}}(),d=typeof c,"string"==d||(c=JSON.stringify(c)),$("<form>").append([[10,b],0,[1,d],0,[10,c]].map(f=>$(f?"<textarea>":"<br>",f&&{rows:f[0],cols:40,text:f[1]}))).appendTo("body")])(`
4
4320
4320
4320
4320
`);