#include <bits/stdc++.h>
using namespace std;
 
int main() {
  double a,b,c;
  cin >> a >> b >> c;
  double s;
  s=(a+b+c)/2;
  double tri;
  tri=sqrt(s*(s-a)*(s-b)*(s-c));
  cout << tri/4;
}