function Main(input){
  const splitted = input.split(' ').map(elem => parseInt(elem));
  const ab = splitted[0];
  const bc = splitted[1];
  const ca = splitted[2];
  
  console.log(ab * bc / 2);
}

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