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