#include #include using namespace std; int main(){ int r, c; cin >> r >> c; cout << ((long long)r * c - 1) / 2 << endl; return 0; }