#include <bits/stdc++.h>
int main(void) {
  char str[1000];
  long h, w, ans;
  fgets(str, sizeof(str), stdin);
  sscanf(str, "%ld %ld", &h, &w);
  if (w % 2 == 0) {
    ans = (w / 2) * h;
  }
  if (w % 2 == 1) {
    if (h % 2 == 0) {
      ans = w * (h / 2);
    } else {
      ans = w * ((h - 1) / 2) + (w + 1) / 2;
    }
  }
  printf("%ld\n", ans);
  return 0;
}
