#include<iostream>
using namespace std;

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