#include <stdio.h>

int main(void){
	int A, B, C, D;
	scanf("%d%d%d%d",&A,&B,&C,&D);
	
	printf("%d",(A * B * C) / 2);
}