function Main(input) {
    input = input.split(" ");
    var a = parseInt(input[0]);
    var b = parseInt(input[1]);

    console.log(a * b / 2);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
