#include<bits/stdc++.h>
using namespace std;
int main(){
	int a,b,c;
	cin>>a>>b>>c;
	int p=(a+b+c)/2;
	double s;
	s=sqrt(p*(p-a)*(p-b)*(p-c));
	printf("%.1lf",s);
	
	
	
	
	
	
	
	
	
	return 0;
}