#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

int main() {
	int n;
	cin >> n;

	vector<int> x(n, 0);
	for (int i = 0; i < n; i++) {
		cin >> x[i];
	}

	sort(x.begin(), x.end());
	reverse(x.begin(), x.end());

	int exp = x[0];
	for (int i = 1; i < n; i++) {
		exp += x[i] / 2;
	}
	cout << exp << endl;

	return 0;
}