#include <bits/stdc++.h>
using namespace std;
int main() {
  int i, j, m, n, d, d1 = 0, d2 = 0, s;
  cin >> m >> n;
  for (i = 0; i < (m / 2); i++) {
    d1++;
  }
  for (i = 0; i < n; i++) {
    d2++;
  }
  d = d1 * d2;
  if ((m % 2) != 0) {
    d = d + (n / 2);
  }
  cout << d;
  return 0;
}
