R,C = map(int,input().split()) if R != C: print(-(-R*C//2) - 1) else: print(-(-R*C//4) - 1)