#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);

    int N;
    cin >> N;
    vector<int> xs;
    for (int i = 0; i < N; i++) {
        int x;
        cin >> x;
        xs.push_back(x);
    }
    sort(xs.begin(), xs.end());
    reverse(xs.begin(), xs.end());
    int ans = xs[0];
    for (int i = 1; i < N; i++) {
        ans += xs[i] / 2;
    }
    cout << ans << endl;

    return 0;
}