# -*- coding:utf-8 -*-

if __name__ == "__main__":
	r,c = map(int,raw_input().split())
	ans = r * c
	ans /= 2
	if r == c:
		ans /= 2
	if r * c %2 == 1:
		ans += 1
	print ans -1