#include <bits/stdc++.h>
using namespace std;
double ans, a, b, c;
int main() {
  cin >> a >> b >> c;
  ans += a * a * a * sqrt(2.0) / 12.0;
  ans += b * b * b * sqrt(2.0) / 6.0;
  ans += c * c * c * sqrt((15.0 + 5.0 * sqrt(5.0)) / 2.0) / 12.0;
  printf("%.11lf\n", ans);
  return 0;
}
