/* Helloプログラム */

#include <stdio.h>
 
main()
{
	float nagasa;
	float takasa;
	float menseki;
	
	nagasa=1.0;
	takasa=1.0;
	
	menseki=nagasa*takasa/2.0;
	
	
	printf("%f\n",menseki);
}