#include <bits/stdc++.h>
#pragma comment(linker, "/STACK:64000000")
using namespace std;
const double pi = 3.1415926535897932384626433832795;
double eps = 1e-9;
char ch[1 << 20];
inline string gs() {
  scanf("%s", ch);
  return string(ch);
}
inline string gl() {
  gets(ch);
  return string(ch);
}
inline int gi() {
  int x;
  scanf("%d", &x);
  return x;
}
void error() {
  while (1)
    ;
  int ttt = 0;
  cout << 7 / ttt;
}
template <class T>
T gcd(T a, T b) {
  return (!a) ? b : gcd(b % a, a);
}
int main() {
  int n = gi();
  int m = gi();
  if (n > m) swap(n, m);
  int res = 0;
  if (n == 1)
    res = m;
  else if (n == 2) {
    res = m;
    int v = (m / 4) * 2;
    v += min(2, m % 4);
    res = max(res, v * 2);
  } else {
    res = (n * m + 1) / 2;
  }
  cout << res << endl;
  return 0;
}
