#include <stdio.h>
#include <stdlib.h>

int main( int argc, char **argv )
{
	int a,b,c;

	a = atoi( argv[1] );
	b = atoi( argv[2] );

	c = a*b/2;

	printf( "Area=%d\n", c );
	return(1);
}