#include <bits/stdc++.h>
using namespace std;
int main() {
  int width, length;
  cin >> width >> length;
  int freeSpace = width * length;
  int count = 0;
  while (freeSpace >= 2) {
    freeSpace -= 2;
    count++;
  }
  cout << count;
  return 0;
}
