#include <bits/stdc++.h>
using namespace std;
 
int main() {
  int N, ans = 0;
  cin >> N;
  vector<int>p(N);
  for (int i = 0; i < N; i++) {
    cin >> p.at(i);
  }
  sort(p.begin(),p.end());
  for (int i = 0; i < N-1; i++) {
    ans += p.at(i);
  }
  ans += p.at(N-1)/2;
  cout << ans;
}