R, C = map(int,raw_input().split())
s = R*C

if R==C:
    if s%2==0:
        print s/4-1
    else:
        print s/4
else:
    if s%2==0:
        print s/2-1
    else:
        print s/2