function Main (input) {
  input = input.split("\n")[0].split(" ").map(Number);
  var H = input[0];
  var W = input[1];
  console.log(Math.ceil((H*W)/2));
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));