<?php
list($r, $c) = explode(" ",trim(fgets(STDIN)));
$post_add = 0;
if ( $r % 2 ) {
	// 奇数行なら、組み合わせ計算したあとに足す数を計算
	$post_add = intval(ceil($c / 2));
}
if ( $r == $c ) {
	$c >>= 1;
}
$r >>= 1;
echo gmp_strval(gmp_add(gmp_mul(gmp_init($r), gmp_init($c)), gmp_init($post_add-1))).PHP_EOL;