#include <bits/stdc++.h>
using namespace std;
signed main() {
  long long h, w;
  cin >> h >> w;
  if (h < w) swap(h, w);
  if (h % 2 == w % 2) {
    long long n = (w - 2) / 2 + 1, tt = (h + w) / 2;
    long long su = n * n;
    su = 2 * su;
    tt -= 2 * n;
    su += tt * (w);
    cout << su;
  } else {
    long long an = (w * (w + 1)) / 2;
    long long tt = (h + w) / 2;
    tt -= w;
    an += tt * (w);
    cout << an;
  }
  return 0;
}
