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