// inputに入力データ全体が入る
function Main(input) {
  input = input.split("\n")[0];

  tmp = input.split(" ").map(v => parseInt(v));
  H = tmp[0];
  W = tmp[1];
  t = 0;
  for (i = 1; i <= H; i++) {
    if(i % 2 == 0){
      t += Math.floor(W / 2)
    }else{
      t += Math.round(W / 2)
    }
  }
  console.log(t);
}

//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
