#include<bits/stdc++.h>
main(){
    int N,x[100000];
    scanf("%d",&N);
    for(int i = 0;i < N;i++){
        scanf("%d",&x[i]);
    }
    std::sort(x,x+N);
    int sum = x[N-1];
    for(int i = 0;i < N-1;i++){
        sum += x[i]/2;
    }
    printf("%d\n",sum);
}