#include <bits/stdc++.h>
int main(void) {
  long int h, w, ans;
  scanf("%ld%ld", &h, &w);
  if ((h * w) % 2 == 1) {
    printf("%ld", (h * w) / 2 + 1);
  } else if ((h * w) % 2 == 0) {
    printf("%ld", (h * w) / 2);
  }
  return 0;
}
