#include "bits/stdc++.h"
using namespace std;

int main(){
	long R,C;
	scanf("%ld%ld",&R,&C);
	if(R!=C){//同じ数同志だと90ど回転が考えられるから、/4でするとちょうど、回転パターン同意ははじかれる。
		if(R*C%2==0)printf("%ld",R*C/2-1);//割ったのが偶数だと、0数えなので、-1
		else printf("%ld",R*C/2);//割ったのが奇数だと、0数えなので、何もしない
	}else{
		if(R*C%2==0)printf("%ld",R*C/4-1);
		else printf("%ld",R*C/4);
	}
	return 0;
}