import sys


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


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


if __name__ == '__main__':
    main()