input = require('fs').readFileSync('/dev/stdin', 'utf8')
lines = input.split('\n')
line = lines.shift().split(' ')
a = line[0] * 1
b = line[1] * 1 
c = line[2] * 1
console.log(a * b * c / 2 / Math.max(a,b,c))