学步园

#include<cstdio>
long long p,q;
int main(){
	scanf("%lld%lld",&p,&q);
	if(p==q)printf("%lld",p*q/4);
	else printf("%lld",(p-1)*(q-1)/4);
	return 0;
}