'use strict'

function Main(input) {
  const lines = input.split('\n')
  const inputs = lines[0].split(' ')
  const ab = inputs[0]
  const bc = inputs[1]

  console.log((ab * bc) / 2)
}
Main(require('fs').readFileSync('/dev/stdin', 'utf8'))
