function main(input) {
    const args = input.split('\n');
    const N = parseInt(args[0], 10);

    var plices = [];
    var max = 0;

    for(var i = 1; i <= N; i++) {
        plices[i] = parseInt(args[i]);
        if(max < plices[i]) {
            max = plices[i];
        }
    }

    var seel = true;
    var ans = 0;

    for (var i = 1; i <= N; i++) {
        if(plices[i] === max && seel) {
            plices[i] = plices[i] / 2;
            seel = false;
        }
        ans += plices[i];
    }

    console.log(ans);

}

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