# data[].attributes.attachment_link.readable_text
#include<stdio.h>
int main(){
	
	int hight;
	int base;
	float sum_tri;

  scanf("%d",&hight);	
  scanf("%d",&base);
  
  	sum_tri = (0.5) *hight*base;
  	
  printf("hight=%d\n",hight);
  printf("base =%d\n",base);
  printf("sum_tri =%.2f",sum_tri);
}

# data[].attributes.body
ภัทรกฤต14