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

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    // b <- b + floor(a / 2)
    int N; cin >> N;
    vector<int> A(N);
    rep(i,N) cin >> A[i];
    sort(A.rbegin(), A.rend());
    int ans = A[0];
    rep(i,N) if(i) ans += A[i] / 2;
    cout << ans << "\n";
}