#include <bits/stdc++.h>
using namespace std;

#define int long long
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define repi(i,a,b) for(int i=(int)(a);i<(int)(b);i++)
#define all(x) (x).begin(),(x).end()
#define pb push_back
#define mp make_pair
#define mt make_tuple

typedef pair<int, int> pii;
typedef vector<int> vi;
typedef vector<vi> vvi;

const int inf = 1LL<<60;
const int mod = 1e9 + 7;
const double eps = 1e-9;

/*{
}*/

signed main()
{
  int r, c;
  cin >> r >> c;

  int ans = 0;
  if(r == c){
    if(r%2) ans = r*c/4;
    else ans = r*c/4-1;
  }else{
    if(r%2 and c%2) ans = r*c/2; 
    else ans = r*c/2-1;
  }

  cout << ans << endl;

  return 0;
}