import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

L,R = map(int,read().split())

if L == R:
    x = (L*R+3) // 4
else:
    x = (L*R+1) // 2
print(x-1)