// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.split("\n");
  tmp = input[0].split(" ");
  var AB = parseInt(tmp[0], 10)
  var BC = parseInt(tmp[1], 10)
  var CA = parseInt(tmp[2], 10)
	//出力
	console.log('%d',AB*BC/2);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
