#include<cstdio>
#include<vector>
#include<algorithm>


using namespace std;
using vi=vector<int>;

int main(void)
{
	int n;

	while(scanf("%d", &n)==1)
	{
		vi x(n);

		for(int i=0;i<n;i++)
		{
			scanf("%d", &x[i]);
		}
		sort(x.begin(), x.end(), greater<int>());

		int ans=x[0];
		for(int i=1;i<n;i++)
		{
			ans+=x[i]/2;
		}
		printf("%d\n", ans);
	}

	return 0;
}