#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10;
int a, b;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  cin >> a >> b;
  cout << ceil(1.0 * a * b / 2);
}
