#include <iostream>
using namespace std;
using ll=long long;
int main()
{
ll R,C;cin >> R>>C;
cout << ((R==C)?(R*C-1)/4:(R*C-1)/2) << endl;
return 0;
}