#include <stdio.h>

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