#include<stdio.h>
int main(){
	int a,b,c;
	double p,s,m;
	scanf("%d %d %d",&a,&b,&c);
	p=0.5*(a+b+c);
	s=p*(p-a)*(p-b)*(p-c);
	m=sqrt(s);
	printf("%.1lf", m);
	return 0;
}