#include <stdio.h>

int main(void){
	long long int r,c,ans,z;
	
	scanf("%lld %lld", &r,&c);
	
	ans = r*c;
	
	if(r == c){
		if(ans&1 == 1){
			ans = ans/4;
		}else{
			ans = ans/4-1;
		}
	}else if( ans&1 == 1){
		ans = ans / 2;
	}else{
		ans = ans / 2 - 1;
	}
	
	printf("%lld\n", ans);
	return 0;
}