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