# -*- coding: utf-8 -*-

N = int(input())
x = list(map(int, input().split()))

android = max(x)
passed_x = x.index(android)

for i in range(N):
    if i != passed_x:
        android += (x[i]//2)

print(android)