import sys


def input(): return sys.stdin.readline().rstrip()


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


if __name__ == '__main__':
    main()