#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define ALL(v) v.begin(), v.end()
typedef long long ll;

#include <bits/stdc++.h>
using namespace std;

int main(){
  double a,b,c;
  cin>>a>>b>>c;
  
  double s=(a+b+c)/2;
  cout<<fixed<<setprecision(10)<<sqrt(s*(s-a)*(s-b)*(s-c))/4<<endl;
  
  return 0;
}