#ifndef _GLIBCXX_NO_ASSERT #include #endif #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include //#ifdef __GXX_EXPERIMENTAL_CXX0X__ #include #include #include #include #include #include #include #include //#endif #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include //#include #include //#include #include //#include #include //#include #include #include #include #include //#include #include #include #include #include #include using namespace std; class D3 { public: double x; double y; double z; //外積 D3 Cross_product ( D3 partner ) { D3 ret ( y*partner.z - z*partner.y , z*partner.x - x*partner.z , x*partner.y - y*partner.x ); return ret; } //内積 double Inner_product ( D3 partner ) { return x*partner.x + y*partner.y + z*partner.z; } //二点からベクトルを作成 D3 Make_vector ( D3 partner ) { D3 ret ( partner.x - x , partner.y - y , partner.z - z ); return ret; } //コンストラクタ D3 ( double x_ = 0.0 , double y_ = 0.0 , double z_ = 0.0 ) { x = x_; y = y_; z = z_; } }; int main () { D3 P; int N; cin >> N; cin >> P.x >> P.y >> P.z; vectorQ ( N ); for( size_t i = 0; i < N; i++ ) { double x , y , z; cin >> x >> y >> z; Q[i] = D3 ( x , y , z ); } double ans = 0.0; for( size_t i = 0; i < N; i++ ) { for( size_t j = i + 1; j < N; j++ ) { for( size_t k = j + 1; k < N; k++ ) { D3 a = Q[j].Make_vector ( Q[i] ); D3 b = Q[j].Make_vector ( Q[k] ); D3 G = a.Cross_product ( b ); double S = sqrt ( G.Inner_product ( G ) ) / 2; D3 c = Q[j].Make_vector ( P ); double V = G.Inner_product ( c ) / 6; ans += abs ( V *3.0 / S ); } } } cout << fixed << setprecision ( 12 ) << ans << endl; return 0; }