#include<iostream>
using namespace std;

int main(){
	long long r,c;
	cin >> r >> c;
	cout << (r==c?(r*c-1)/4 :(r*c-1)/2) << endl;
	return 0;
}