module main;
// https://yang33-kassa.jp/yukicoder/yukicoder084/ より
import std;

void main()
{
	// 入力
	long H, W;
	readln.chomp.formattedRead("%d %d", H, W);
	// 答えの計算と出力
	long ans;
	if (H == W) {
		ans = (H / 2) * (W / 2) + (H % 2 ? W / 2 : 0) + (W % 2 && H % 2);
	} else {
		ans = 2 * (H / 2) * (W / 2) + (H % 2 ? W / 2 : 0) + (W % 2 ? H / 2 : 0) + (W % 2 && H % 2);
	}
	writeln(ans - 1);
}