#include <iostream>

using namespace std;

int main() {
	long long r, c, ans;

	cin >> r >> c;
	ans = (r * c + 1) / 2 - 1;

	cout << ans << endl;
	return 0;
}