#include <iostream>
#include <cstdio>
using namespace std;
int main() {
int m, n;
scanf("%d%d", &m, &n);
printf("%d", m*n>>1);
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y3N0ZGlvPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglpbnQgbSwgbjsKCXNjYW5mKCIlZCVkIiwgJm0sICZuKTsKCXByaW50ZigiJWQiLCBtKm4+PjEpOwoJcmV0dXJuIDA7Cn0=