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

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