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