#include <bits/stdc++.h>
using namespace std;
int main(int argc, char* argv[]) {
  long long H, W;
  scanf("%lld %lld", &H, &W);
  long long H_mod = H % 2;
  long long W_mod = W % 2;
  long long y = (H / 2 + H_mod) * (W / 2 + W_mod) + (H / 2) * (W / 2);
  printf("%lld\n", y);
  return 0;
}
