#! /usr/bin/env python3

N = int(input())
A = sorted(map(int, input().split()))
a = A[-1]
for i in A[:-1] : a += i // 2
print(a)