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