#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  long double a, b, c, ans = 0;
  cin >> a >> b >> c;
  ans += sqrt(pow(sqrt(3) * a / 2, 2) - pow(sqrt(3) * a / 6, 2)) *
         (((pow(a, 2) * sqrt(3)) / 4) / 3);
  ans += sqrt(pow(sqrt(3) * b / 2, 2) - pow(b / 2, 2)) * pow(b, 2) / 3;
  ans += (1.0 / 3) *
         sqrt(c * c -
              (c * sin(3.14159265358973238462643383 / 3.333333333333333333) /
               sin(3.14159265358973238462643383 / 2.5)) *
                  (c * sin(3.14159265358973238462643383 / 3.3333333333333333) /
                   sin(3.14159265358973238462643383 / 2.5))) *
         (0.25 * c *
          (c * sin(3.14159265358973238462643383 / 3.333333333333333) /
           sin(3.14159265358973238462643383 / 2.5)) *
          cos(3.14159265358973238462643383 / 5)) *
         10;
  cout << fixed << setprecision(10) << ans << endl;
}
