#include <bits/stdc++.h>
using namespace std;
int main(){
	int a,b,c;
	float p;
	cin>>a>>b>>c;
	p=(a+b+c)/2;
	p=p*(p-a)*(p-b)*(p-c);
	cout<<fixed<<setprecision(1)<<sqrt(p)<<endl;
	return 0;
}

就3是AC的，其他都是WA