#include <bits/stdc++.h>
using namespace std;
int main() {
  double x, y, z;
  scanf("%lf%lf%lf", &x, &y, &z);
  double s = atan2(0, -1);
  double ans1 = 0;
  double ans2 = 0;
  double ans3 = 0;
  double k1 = x / 2 / sin(s / 3);
  double h1 = sqrt(x * x - k1 * k1);
  ans1 = k1 * x * sin(s / 6) * h1 / 2;
  double k2 = y / 2 / sin(s / 4);
  double h2 = sqrt(y * y - k2 * k2);
  ans2 = y * k2 * sin(s / 4) * 2 * h2 / 3;
  double k3 = z / 2 / sin(s / 5);
  double h3 = sqrt(z * z - k3 * k3);
  ans3 = 5 * z * k3 * sin(s / 5 * 3 / 2) * h3 / 6;
  printf("%.10lf\n", ans1 + ans2 + ans3);
  return 0;
}
