#include <bits/stdc++.h>
using namespace std;
int main() {
  unsigned int H, W, c = 0, i, j;
  cin >> H >> W;
  for (i = 0; i < H; i++) {
    for (j = 0; j < W; j++) {
      if ((i + j) % 2 == 0) c++;
    }
  }
  cout << c;
}
