#include "bits/stdc++.h"
using namespace std;
#define fastcin {\
    cin.tie(0);\
    ios::sync_with_stdio(false);\
}
#define rep(i, a, b) for(int i = a; i < b; i++)
#define print(x) cout << x << "\n"

int main() {
    fastcin;
    int n, t = -1, ans = 0;
    cin >> n;
    rep(i, 0, n) {
        int in;
        cin >> in;
        t = max(t, in);
        ans += in/2;
    }
    ans = ans - t/2 + t;
    print(ans);
    return 0;
}