#include <algorithm>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <map>
#include <queue>
#include <set>
#include <string>
#include <vector>
using namespace std;
typedef pair<int, int> pii;
#define rep(i,x) for(int i=0;i<(int)(x);i++)

int main(){
	long long int r, c, ans;
	cin >> r >> c;
	ans = (r/2) * c - 1;
	if (r%2) ans += (long long int)ceil(c/2.0);
	cout << ans << endl;
	return 0;
}