r,c = map(int,raw_input().split())
print r*c/2 - (r*c&1==0)