'use strict';

function main(input) {
  const inputs = input.split(' ').map((x) => x | 0);
  const ans = Math.ceil(inputs[0] * inputs[1] / 2);
  console.log(ans);
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));
