#include <bits/stdc++.h>
using namespace std;

#define all(x) begin(x), end(x)
#ifdef CKISEKI
#define safe cerr << __PRETTY_FUNCTION__ << " line " << __LINE__ << " safe\n"
#define debug(a...) debug_(#a, a)
#define orange(a...) orange_(#a, a)
void debug_(auto s, auto ...a) {
  cerr << "\e[1;32m(" << s << ") = (";
  int f = 0;
  (..., (cerr << (f++ ? ", " : "") << a));
  cerr << ")\e[0m\n";
}
#include <experimental/iterator>
void orange_(auto s, auto L, auto R) {
  cerr << "\e[1;33m[ " << s << " ] = [ ";
  using namespace experimental;
  copy(L, R, make_ostream_joiner(cerr, ", "));
  cerr << " ]\e[0m\n";
}
#else
#define safe ((void)0)
#define debug(...) safe
#define orange(...) safe
#endif

int main() {
  cin.tie(nullptr)->sync_with_stdio(false);
  int x[4], y[4], z[4];

  while (cin >> x[0] >> y[0] >> z[0]) {
    for (int j = 1; j < 4; j++)
      cin >> x[j] >> y[j] >> z[j];

    for (int j = 1; j < 4; j++) {
      x[j] -= x[0];
      y[j] -= y[0];
      z[j] -= z[0];
    }

    if (x[1] < 0) for (int j = 1; j < 4; j++) x[j] = -x[j];
    if (y[1] < 0) for (int j = 1; j < 4; j++) y[j] = -y[j];
    if (z[1] < 0) for (int j = 1; j < 4; j++) z[j] = -z[j];

    if (x[2] > x[3]) swap(x[2], x[3]);
    if (y[2] > y[3]) swap(y[2], y[3]);
    if (z[2] > z[3]) swap(z[2], z[3]);

    using llf = long double;

    llf ans = 0;
    llf a = x[1], b = y[1], c = z[1];
    for (int s = 0; s < 8; s++) {
      int X = x[ (s >> 0 & 1) + 2 ];
      int Y = y[ (s >> 1 & 1) + 2 ];
      int Z = z[ (s >> 2 & 1) + 2 ];

      if (X < 0) X = 0;
      if (Y < 0) Y = 0;
      if (Z < 0) Z = 0;

      llf D = X / a + Y / b + Z / c;
      if (D >= 1) continue;

      llf tx = (1 - D) * a;
      llf ty = (1 - D) * b;
      llf tz = (1 - D) * c;

      int coef = __builtin_parity(s) ? -1 : 1;
      ans += coef * tx * ty * tz / 6;
    }

    cout << fixed << setprecision(20);
    cout << ans << '\n';

  }
  return 0;
}