#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, w;
  cin >> h >> w;
  if (h % 2 == 0) {
    cout << (h / 2) * w;
  } else if (w % 2 == 0) {
    cout << (w / 2) * h;
  } else {
    cout << (h - 1) / 2 * w;
  }
}
