#include <stdio.

h>

int main() {
int x, y, answer;
scanf("%d %d", &x, &y);

int product = x * y;

if (product % 2 == 0) {
answer = product/2;
}
else {
answer = (product - 1)/2;
}

printf("%d\n", answer);

return 0;
}