#include <fstream>
#include <iostream>
#include <algorithm>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <string>
#include <sstream>
#include <map>
#include <set>
#include <vector>
#include <stack>
#include <cmath>
#include <queue>
#include <random>

using namespace std;

#define INT_MAX_VALUE 2147483647
#define LONG_LONG_MAX_VALUE 9223372036854775807
#define ll long long

template <class T>
T mymax(T a,T b){
    if(a>=b) return a;
    return b;
}
template <class T>
T mymin(T a,T b){
    if(a<=b) return a;
    return b;
}
//
//long long gcd(long long a, long long b){
//    if(a<b){
//        swap(a,b);
//    }
//    while(b){
//        long long r = a%b;
//        a=b;
//        b=r;
//    }
//    return a;
//}
//
//long long lcm(long long a, long long b){
//    return (a*b)/gcd(a,b);
//}
//
//long long isPrim(long long a){
//    if(a==1){
//        return a;
//    }
//    for(int i=2;i*i<=a;i++){
//        if(a%i==0){
//            return i;
//        }
//    }
//    return a;
//}
//
struct XX{
    long long x;
    long long jun;
    long long z;
    long long ix;
};

class xxGreater {
public:
    bool operator()(const XX& riLeft, const XX& riRight) const {
        //第2条件
        if((riLeft.x) == (riRight.x)){
            return riLeft.ix < riRight.ix;//<:昇順(小さいものから順番)、>:降順(大きいものから順番)
            //プライオリティキューの場合は > で、top()すると値の小さいものがとれる
        }
        //第1条件
        return (riLeft.x) < (riRight.x);
    }
};
class xxGreater2 {
public:
    bool operator()(const XX& riLeft, const XX& riRight) const {
        //第2条件
        if((riLeft.x) == (riRight.x)){
            return riLeft.x < riRight.x;//<:昇順(小さいものから順番)、>:降順(大きいものから順番)
            //プライオリティキューの場合は > で、top()すると値の小さいものがとれる
        }
        //第1条件
        return (riLeft.ix) < (riRight.ix);
    }
};

//
////kruskal
//struct edge{
//    int u;
//    int v;
//    int cost;
//};
//
//bool comp(edge& e1,edge& e2){
//    return e1.cost < e2.cost;
//}
//
//edge es[1000];
//
//long long kruskal(int V,int E){//V:頂点数,E:辺数
//    sort(es,es+E,comp);
//    init(V);
//    long long res = 0;
//    for(int i=0;i<E;i++){
//        edge e = es[i];
//        if(!same(e.u,e.v)){
//            unite(e.u,e.v);
//            res+=e.cost;
//        }
//    }
//    return res;
//}

//map<long long,long long> prime_f(long long n){
//    map<long long,long long>res;
//    for(int i=2;i*i<=n;i++){
//        while(n%i==0){
//            ++res[i];
//            n/=i;
//        }
//    }
//    if(n!=1)res[n]=1;
//    return res;
//}



int main(int argc, const char * argv[])
{
    //std::ios::sync_with_stdio(false);
    //scanf("%s",S);
    //scanf("%d",&N);
    //sscanf(tmp.c_str(),"%dd%d%d",&time[i], &dice[i], &z[i]);
    //getline(cin, target);
    //cin >> x >> y;
    //テスト用
    //ifstream ifs( "1_06.txt" );
    //ifs >> a;
    //ここから
    
    //入力高速化
    ios::sync_with_stdio(false);
    cin.tie(0);
    
    double x[4];
    double y[4];
    double z[4];
    cin >> x[0] >> y[0] >> z[0];
    cin >> x[1] >> y[1] >> z[1];
    cin >> x[2] >> y[2] >> z[2];
    cin >> x[3] >> y[3] >> z[3];
    
    double vx[3];
    double vy[3];
    double vz[3];
    double len[3];
    vx[0]=x[0]-x[1];
    vy[0]=y[0]-y[1];
    vz[0]=z[0]-z[1];
    len[0]=sqrt(pow(x[0]-x[1],2)+pow(y[0]-y[1],2)+pow(z[0]-z[1],2));
    vx[1]=x[1]-x[2];
    vy[1]=y[1]-y[2];
    vz[1]=z[1]-z[2];
    len[1]=sqrt(pow(x[1]-x[2],2)+pow(y[1]-y[2],2)+pow(z[1]-z[2],2));
    vx[2]=x[2]-x[0];
    vy[2]=y[2]-y[0];
    vz[2]=z[2]-z[0];
    len[2]=sqrt(pow(x[2]-x[0],2)+pow(y[2]-y[0],2)+pow(z[2]-z[0],2));
    
    double nai[3][2];
    double clen[3];
    clen[0]=sqrt(pow(x[3]-x[0],2)+pow(y[3]-y[0],2)+pow(z[3]-z[0],2));
    clen[1]=sqrt(pow(x[3]-x[1],2)+pow(y[3]-y[1],2)+pow(z[3]-z[1],2));
    clen[2]=sqrt(pow(x[3]-x[2],2)+pow(y[3]-y[2],2)+pow(z[3]-z[2],2));
    
    nai[0][0]=vx[0]*(x[3]-x[0])+vy[0]*(y[3]-y[0])+vz[0]*(z[3]-z[0]);
    nai[0][0]/=(len[0]*clen[0]);
    
    nai[0][1]=vx[0]*(x[3]-x[1])+vy[0]*(y[3]-y[1])+vz[0]*(z[3]-z[1]);
    nai[0][1]/=(len[0]*clen[1]);
    
    if(nai[0][0]<0 && nai[0][1]<0){
        cout << "NO" << endl;
        return 0;
    }
    
    nai[1][0]=vx[1]*(x[3]-x[2])+vy[1]*(y[3]-y[2])+vz[1]*(z[3]-z[2]);
    nai[1][0]/=(len[1]*clen[2]);
    
    nai[1][1]=vx[1]*(x[3]-x[1])+vy[1]*(y[3]-y[1])+vz[1]*(z[3]-z[1]);
    nai[1][1]/=(len[1]*clen[1]);
    
    if(nai[1][0]<0 && nai[1][1]<0){
        cout << "NO" << endl;
        return 0;
    }
    
    nai[2][0]=vx[2]*(x[3]-x[2])+vy[2]*(y[3]-y[2])+vz[2]*(z[3]-z[2]);
    nai[2][0]/=(len[2]*clen[2]);
    
    nai[2][1]=vx[2]*(x[3]-x[0])+vy[2]*(y[3]-y[0])+vz[2]*(z[3]-z[0]);
    nai[2][1]/=(len[2]*clen[0]);
    
    if(nai[2][0]<0 && nai[2][1]<0){
        cout << "NO" << endl;
        return 0;
    }
    
    cout << "YES" << endl;
    
    //ここまで
    //cout << "debug" << endl;
    //cout << "ans" << endl;改行含む
    //printf("%.0f\n",ans);//小数点以下表示なし
    //printf("%.7f\n",p);
    //printf("%f\n",pow(2,ans.size()));
    
    return 0;
}