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

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