#include<stdio.h>
int n,m;
int main()
{
	scanf("%d %d",&n,&m);
	printf("%d",n*m/2);
	return 0;
}
/**************************************************************
	Problem: 1539
	User: admin
	Language: C
	Result: Accepted
	Time:56 ms
	Memory:1144 kb
****************************************************************/