function main(input) {
   input = input.split('\n').map((n) => parseInt(n, 10));
   
   const COUNT = input[0];
   input = input.shift();
   const MAX = Math.max.apply(null, input);
   const maxIndex = indexOf(MAX);
   input[maxIndex] = input[maxIndex] / 2;

   sum = input.reduce((a,x) => a+=x,0);
   console.log(sum);
    
}


main(require("fs"),readFileSync("/dev/stdin", "utf-8"))