#include <bits/stdc++.h>
using namespace std;
using namespace std;
const int MOD = 1e9 + 7;
const int INF = 0x3f3f3f3f;
int main() {
  ios::sync_with_stdio(false);
  int n, m;
  while (cin >> n >> m) {
    int ans = 0;
    ans = max(ans, ((n - 1) / 3 + 1) * m);
    swap(n, m);
    ans = max(ans, ((n - 1) / 3 + 1) * m);
    if ((m - 1) % 2 == 0)
      ans = max(ans, (n + 1) / 2 + (m - 1) / 2 * n);
    else
      ans = max(ans, n * m / 2);
    swap(n, m);
    if ((m - 1) % 2 == 0)
      ans = max(ans, (n + 1) / 2 + (m - 1) / 2 * n);
    else
      ans = max(ans, n * m / 2);
    if (n >= 2 && m >= 2) {
      ans = max(ans, 4 + (n - 2) / 4 * 4);
      ans = max(ans, 2 + (n - 1) / 4 * 4);
    }
    swap(n, m);
    if (n >= 2 && m >= 2) {
      ans = max(ans, 4 + (n - 2) / 4 * 4);
      ans = max(ans, 2 + (n - 1) / 4 * 4);
    }
    cout << ans << "\n";
  }
}
