#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));
  double count=0;
  for(int i=0; i<500;i++){
    for(int j=0; j<500;j++){
      for(int k=0; k<500;k++){
        count += tri*(1-(1-i/500)*(j/500)-(1-j/500)*(k/500)-(1-k/500)*(i/500));
      }
    }
  }
  cout << count/500000000 << endl;
}