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

int main() {
    int n;
    cin >> n;
    vector<int> a(n);
    for (int i = 0; i < n; i++) cin >> a[i];
    sort(a.begin(), a.end(), greater<int>());
    
    for (int i = 1; i < n; i++) a[0] += a[i] / 2;
    cout << a[0] << endl;
    return 0;
}