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