#include<stdio.h>

int main()
{
	float a,b,c;
	float s,p;
	
	scanf("%f %f %f",&a,&b,&c);
	
	p=0.5*(a+b+c);
	
	s=sqrt(p*(p-a)*(p-b)*(p-c));
		
	printf("%.1f",s);
}
//最后一个错了 一个三边都为888.88的三角形 结果应为342126.7  我的为342126.8