#include<bits/stdc++.h>
using namespace std;
using ll=long long;
template<typename T>
ostream& operator << (ostream &out,const vector<T>&x){
	if(x.empty())return out<<"[]";
	out<<'['<<x[0];
	for(int len=x.size(),i=1;i<len;i++)out<<','<<x[i];
	return out<<']';
}
template<typename T>
vector<T> ary(const T *a,int l,int r){
	return vector<T>{a+l,a+1+r};
}
template<typename T>
void debug(T x){
	cerr<<x<<'\n';
}
template<typename T,typename ...S>
void debug(T x,S ...y){
	cerr<<x<<' ',debug(y...);
}
const int N=4;
int x[4],y[4],z[4];
void init(int *a){
	if(a[0]>a[1]){
		for(int i=0;i<4;i++)a[i]=-a[i];
	}
	for(int i=1;i<4;i++)a[i]-=a[0];
	if(a[2]>a[3])swap(a[2],a[3]);
	a[2]=max(a[2],0),a[3]=max(a[3],0);
}
void get(){
	for(int i=1;i<4;i++)scanf("%d%d%d",&x[i],&y[i],&z[i]);
	init(x),init(y),init(z);
	double sum=0;
	// debug(ary(x,0,3));
	// debug(ary(y,0,3));
	// debug(ary(z,0,3));
	for(int S=0;S<8;S++){
		double t=1-1.0*x[2+(S>>0&1)]/x[1]-1.0*y[2+(S>>1&1)]/y[1]-1.0*z[2+(S>>2&1)]/z[1];
		if(t>0)sum+=(__builtin_parity(S)?-1:1)*t*t*t;
	}
	printf("%.9lf\n",max(0.0,sum)*x[1]*y[1]*z[1]/6);
}
int main(){
	for(;~scanf("%d%d%d",&x[0],&y[0],&z[0]);)get();
	return 0;
}