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

int main() {
    
    // 1. 入力情報取得.
    int N;
    cin >> N;
    LL X[N];
    for(int i = 0; i < N; i++) cin >> X[i];
    
    // 2. アンドロイドの経験値を最大化するには？
    sort(X, X + N, greater<LL>());
    LL ans = X[0];
    // for(int i = 1; i < N; i++) ans += floor(X[i] / 2.0);
    for(int i = 1; i < N; i++) ans += (X[i] / 2);

    // 3. 出力.
    cout << ans << endl;
    return 0;
    
}