#include <bits/stdc++.h>
int main() {
  double sum = 0;
  for (double n = 3; n <= 5; n++) {
    double a;
    scanf("%lf", &a);
    sum =
        sum +
        n * a * a / 12.0 *
            tan(3.141592653589793238462643383279502884197169399375105820974944592307816406286 /
                    2 -
                3.141592653589793238462643383279502884197169399375105820974944592307816406286 /
                    n) *
            a *
            sqrt(
                1.0 -
                1.0 /
                    (4 *
                     cos(3.141592653589793238462643383279502884197169399375105820974944592307816406286 /
                             2 -
                         3.141592653589793238462643383279502884197169399375105820974944592307816406286 /
                             n) *
                     cos(3.141592653589793238462643383279502884197169399375105820974944592307816406286 /
                             2 -
                         3.141592653589793238462643383279502884197169399375105820974944592307816406286 /
                             n)));
  }
  printf("%.10lf\n", sum);
  return 0;
}
