#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define llong long long

int main() {
    int n;
    cin >> n;
    vector<int> x(n);
    rep(i, n) cin >> x[i];

    sort(x.begin(), x.end());

    int result = x[n-1];
    rep(i, n-1) result += x[i] / 2;
    cout << result << endl;
}