#include<bits/stdc++.h>
using namespace std;
long long n,a[100000];
int main(){
    cin>>n;
    for(int i=0;i<n;i++)cin>>a[i];
    sort(a,a+n);
    long long E=a[n-1];
    for(int i=n-2;i>=0;i--)E+=a[i]/2;
    cout<<E<<endl;
    return 0;
}