"use strict";

function _toArray(arr) { return _arrayWithHoles(arr) || _iterableToArray(arr) || _nonIterableRest(); }

function _nonIterableRest() { throw new TypeError("Invalid attempt to destructure non-iterable instance"); }

function _iterableToArray(iter) { if (Symbol.iterator in Object(iter) || Object.prototype.toString.call(iter) === "[object Arguments]") return Array.from(iter); }

function _arrayWithHoles(arr) { if (Array.isArray(arr)) return arr; }

function main(input) {
  var _splitNum$filter = splitNum(input).filter(function (x) {
    return x;
  }),
      _splitNum$filter2 = _toArray(_splitNum$filter),
      N = _splitNum$filter2[0],
      ps = _splitNum$filter2.slice(1);

  ps.sort(function (a, b) {
    return b - a;
  });
  ps[0] /= 2;
  var sum = ps.reduce(function (a, b) {
    return a + b;
  }, 0);
  console.log(sum);
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));

function splitNum(line) {
  return line.split(/\s+/).map(function (n) {
    return parseInt(n);
  });
}
