#include <bits/stdc++.h>
#define p(s) cout<<(s)<<endl
typedef long long ll;
using namespace std;

int main() {
	ll R,C;
	cin>>R>>C;
	p(((R*C)+1)/2-1);
	return 0;
}