#include <bits/stdc++.h>
using namespace std;
const int mod = 1e9 + 7;
const int N = 5e5 + 10;
int n, m, dp[1 << 6][1 << 6][45];
int b(int mask, int idx) { return (mask >> idx) & 1; }
int chk(int mask1, int mask2, int mask3) {
  for (int j = 0; j < m; j++) {
    if (b(mask2, j) || b(mask1, j) || b(mask3, j) ||
        (j > 0 && b(mask2, j - 1)) || b(mask2, j + 1))
      continue;
    return 0;
  }
  return 1;
}
int f(int mask0, int mask1, int idx) {
  if (idx < 1) {
    if (mask1 == 0) return 0;
    return 100;
  }
  if (~dp[mask0][mask1][idx]) return dp[mask0][mask1][idx];
  int res = 100;
  for (int mask = 0; mask < (1 << m); mask++) {
    if (chk(mask0, mask1, mask))
      res = min(res, __builtin_popcount(mask1) + f(mask1, mask, idx - 1));
  }
  return dp[mask0][mask1][idx] = res;
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cin >> n >> m;
  if (n < m) swap(n, m);
  int res = 1000;
  memset(dp, -1, sizeof dp);
  for (int i = 0; i < (1 << m); i++) res = min(res, f(0, i, n));
  cout << n * m - res << endl;
  return 0;
}
