function Main(input) {
    // 1行目がinput[0], 2行目がinput[1], …に入る
    tmp = input.split(" ");
    tmp = tmp.map(Number);
    M = Math.max.apply(null,tmp);
    max_key = tmp.indexOf(M);
    tmp = tmp.filter(n => n !==M);

    answer = tmp[0]*tmp[1]*0.5;
    
    console.log(answer);

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