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