"use strict";
process.stdin.resume();
process.stdin.setEncoding("utf8");

var input = [];
var reader = require("readline").createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on("line", line => {
  input.push(parseInt(line));
});

reader.on("close", () => {
  input.shift();
  let p = input;
  let sum = p.reduce((a, i) => a + i);
  let max = Math.max.apply(null, p)
  console.log(sum - max / 2);
});
