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

#define int long long

signed main(){
  int r,c;cin>>r>>c;
  if(r!=c)cout<<(r*c-1)/2<<endl;
  else cout<<(r*c-1)/4<<endl;
}