#!/usr/bin/env python3
n = int(input())
xs = sorted(map(int, input().split()))
xs, y = xs[: -1], xs[-1]
for x in xs:
    y += x // 2
print(y)