#include <bits/stdc++.h>
#define REP(i, a, n) for(ll i = ((ll) a); i < ((ll) n); i++)
using namespace std;
typedef long long ll;

int a,n,ans=0;
vector<int> x;


int main(void) {
    cin >> n;
    REP(i, 0, n) cin >> a, x.push_back(a);
    sort(x.begin(), x.end());
    ans = *(x.end()-1);
    REP(i, 0, n-1) ans += x[i]/2;
    cout << ans << endl;
    return 0;
}