const readline = require('readline')

const interface = readline.createInterface({
  input: process.stdin,
  output: process.stdout,
  terminal: false
})

let n,lineCount=0,sum1=0,sum2=0;
interface.on('line', line => {
  if (lineCount == 0) {
    n= parseInt(line)
    lineCount ++;

  } else {
    arr = line.split(' ').map(v => parseInt(v))
    let s=0,max=-999;
    for(let i=0; i<n; i++){
      max = Math.max(...arr);
      s += arr[i]
    }
    let k = s-max;
    console.log(k+(max/2));
   }
})
