/* -*- coding: utf-8 -*-
 *
 * 549.cc: No.549 素材合成システム - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int MAX_N = 100000;

/* typedef */

/* global variables */

int xs[MAX_N];

/* subroutines */

/* main */

int main() {
  int n;
  scanf("%d", &n);

  for (int i = 0; i < n; i++) scanf("%d", &xs[i]);
  sort(xs, xs + n);

  int sum = xs[n - 1];
  for (int i = 0; i < n - 1; i++) sum += xs[i] / 2;
  printf("%d\n", sum);
  return 0;
}