#include<iostream>
#include<math.h>
#include<bits/stdc++.h>

using namespace std;

int x[5], y[5], z[5];
double aa, bb, cc, all;

int get(int l, int r){
	return rand() % (r - l + 1) + l;
}

double ask(int x0, int y0, int z0){
	
	double ret;
	
	x[1] -= x0; x[2] -= x0;
	y[1] -= y0; y[2] -= y0;
	z[1] -= z0; z[2] -= z0;
//	cout << "begin\n";
//	cout << x[1] << " " << y[1] << " " << z[1] << endl;
//	cout << x[2] << " " << y[2] << " " << z[2] << endl;
	
	int x1 = x[2], y1 = y[1], z1 = z[1];
	int x2 = x[1], y2 = y[2], z2 = z[1];
	int x3 = x[1], y3 = y[1], z3 = z[2];
	int a = (y2 - y1) * (z3 - z1) - (y3 - y1) * (z2 - z1);
	int b = (z2 - z1) * (x3 - x1) - (z3 - z1) * (x2 - x1);
	int c = (x2 - x1) * (y3 - y1) - (x3 - x1) * (y2 - y1);
	int d = - a * x1 - b * y1 - c * z1;

	double xx = 1.0 * (-d) / a;	
	double yy = 1.0 * (-d) / b;
	double zz = 1.0 * (-d) / c;
	
	
//	cout << xx << "  " << yy << "  " << zz << endl;
	xx = min(xx, (double)x[2]) - max(0, x[1]);
	yy = min(yy, (double)y[2]) - max(0, y[1]);
	zz = min(zz, (double)z[2]) - max(0, z[1]);

	double k = min({xx / aa, yy / bb, zz / cc});
	if(k < 0) ret = 0;
	else ret = all * k * k * k;
//		ret = xx * yy * zz / 6;
//	cout << " xyz : " << xx << "  " << yy << "  " << zz << endl;
	
	x[1] += x0; x[2] += x0;
	y[1] += y0; y[2] += y0;
	z[1] += z0; z[2] += z0;	
	
//	cout << x0 << " " << y0 << " " << z0 << "       " << ret <<  "   ";

	return ret;
}

int main(){
	
	std::ios::sync_with_stdio(false);
	
	srand(time(0));
	
	while(cin >> x[1] >> y[1] >> z[1]){
		for(int i = 2; i <= 4; i ++){
			cin >> x[i] >> y[i] >> z[i];
			x[i] -= x[1];
			y[i] -= y[1];
			z[i] -= z[1];
		}
		x[1] = y[1] = z[1] = 0;
		
		if(x[2] < 0)
			for(int i = 1; i <= 4; i ++)
				x[i] = -x[i];
			
		if(y[2] < 0)
			for(int i = 1; i <= 4; i ++)
				y[i] = -y[i];
	
		if(z[2] < 0)
			for(int i = 1; i <= 4; i ++)
				z[i] = -z[i];
				
		aa = x[2];
		bb = y[2];
		cc = z[2];
		all = aa * bb * cc / 6.0;
		if(x[3] > x[4]) swap(x[3], x[4]);
		if(y[3] > y[4]) swap(y[3], y[4]);
		if(z[3] > z[4]) swap(z[3], z[4]);
			
//		cout << endl;
//		for(int i = 1; i <= 4; i ++)
//			cout << x[i] << " " << y[i] << " " << z[i] << endl;
				
//		ask(-1, -1, -1);
				
		double ans = ask(x[3], y[3], z[3]) 
			- ask(x[4], y[3], z[3]) - ask(x[3], y[4], z[3]) - ask(x[3], y[3], z[4])
			+ ask(x[3], y[4], z[4]) + ask(x[4], y[3], z[4]) + ask(x[4], y[4], z[3])
			- ask(x[4], y[4], z[4]);
		
		printf("%.8lf\n", fabs(ans));
	}
}