#include <bits/stdc++.h>
using namespace std;
int main() {
  long long a, b, c;
  cin >> a >> b >> c;
  printf("%.12lf",
         (((a * a * sqrt(3) / 4) * a * sqrt(2.0 / 3.0) + b * b * b / sqrt(2)) +
          c * c * c * 0.904508497187444) /
             3);
  return 0;
}
