def main():
    N = int(input())
    ary= list(map(int,input().split()))
    ary.sort()
    res = ary.pop(-1)
    if N>=2:
        for i in range(N-1):
            res += ary[i]//2
    print(res)
main()