#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  long long int h, w;
  cin >> h >> w;
  cout << (h * (w / 2)) + ((w % 2) * (h + 2 - 1) / 2) << '\n';
  return 0;
}
