#include<bits/stdc++.h>
//ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
//clock_t start=clock();clock_t end=clock();cout<<(double)(end-start)/CLOCKS_PER_SEC<<endl;
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef unsigned int ui;
typedef pair<int,int> pii;
typedef pair<pii,int> ppii;
typedef pair<int,pii> pipi;
typedef pair<ll,ll> pll;
typedef pair<pll,ll> ppll;
typedef pair<ll,pll> plpl;
typedef tuple<ll,ll,ll> tl;
typedef pair<double,double> pdd;
typedef vector<vector<ll>> mat;
ll mod=1000000007;
ll mod2=998244353;
ll mod3=1000003;
ll mod4=998244853;
ll mod5=1000000009;
ll inf=1LL<<60;
double pi=3.141592653589793238462643383279L;
double eps=1e-14;
#define rep(i,m,n) for(ll i=m;i<n;i++)
#define rrep(i,n,m) for(ll i=n;i>=m;i--)
#define srep(itr,st) for(auto itr=st.begin();itr!=st.end();itr++)
#define mrep(itr,mp) for(auto itr=mp.begin();itr!=mp.end();itr++)
#define Max(a,b) a=max(a,b)
#define Min(a,b) a=min(a,b)
int dh[4]={1,-1,0,0};
int dw[4]={0,0,1,-1};
int ddh[8]={-1,-1,-1,0,0,1,1,1};
int ddw[8]={-1,0,1,-1,1,-1,0,1};
ll gcd(ll a,ll b){
    if(a<b)swap(a,b);
    if(b==0)return a;
    if(a%b==0)return b;
    return gcd(b,a%b);
}
ll lcm(ll a,ll b){
    ll c=gcd(a,b);
    return a*b/c;
}
ll Pow(ll n,ll k){
    ll ret=1;
    ll now=n;
    while(k>0){
        if(k&1)ret*=now;
        now*=now;
        k/=2;
    }
    return ret;
}
ll beki(ll n,ll k,ll md){
  ll ret=1;
  ll now=n;
  while(k>0){
    if(k%2==1){
      ret*=now;
      ret%=md;
    }
    now*=now;
    now%=md;
    k/=2;
  }
  return ret;
}
ll gyaku(ll n,ll md){
  return beki(n,md-2,md);
}
ll popcount(ll n){
    ll ret=0;
    ll u=n;
    while(u>0){
        ret+=u%2;
        u/=2;
        
    }
    return ret;
}
double dist3(double a,double b,double c,double d,double e,double f){
    return pow(((a-d)*(a-d)+(b-e)*(b-e)+(c-f)*(c-f)),0.5);
}
int main(){
    ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
    double x[4],y[4],z[4];
    rep(i,0,4)cin>>x[i]>>y[i]>>z[i];
    double a[3]={x[1]-x[0],y[1]-y[0],z[1]-z[0]};
    double b[3]={x[2]-x[0],y[2]-y[0],z[2]-z[0]};
    double da=dist3(x[0],y[0],z[0],x[1],y[1],z[1]);
    double db=dist3(x[0],y[0],z[0],x[2],y[2],z[2]);
    rep(i,0,3){
        a[i]/=da;
        b[i]/=db;
    }
    double c[3]={a[1]*b[2]-a[2]*b[1],a[2]*b[0]-a[0]*b[2],a[0]*b[1]-a[1]*b[0]};
    double nai=0;
    rep(i,0,3)nai+=a[i]*b[i];
    x[3]-=x[0];y[3]-=y[0];z[3]-=z[0];
    double ad=a[0]*x[3]+a[1]*y[3]+a[2]*z[3];
    double bd=b[0]*x[3]+b[1]*y[3]+b[2]*z[3];
    double d[3];
    d[0]=(ad-nai*bd)/(1-nai*nai);
    d[1]=bd-d[0]*nai;
    d[2]=c[0]*x[3]+c[1]*y[3]+c[2]*z[3];
    //cout<<d[0]<<" "<<d[1]<<endl;
    if(d[0]<=0||d[1]<=0){
        cout<<"NO"<<endl;
        return 0;
    }
    a[0]=x[0]-x[1];a[1]=y[0]-y[1];a[2]=z[0]-z[1];
    b[0]=x[2]-x[1];b[1]=y[2]-y[1];b[2]=z[2]-z[1];
    da=dist3(x[0],y[0],z[0],x[1],y[1],z[1]);
    db=dist3(x[1],y[1],z[1],x[2],y[2],z[2]);
    rep(i,0,3){
        a[i]/=da;
        b[i]/=db;
    }
    double cc[3]={a[1]*b[2]-a[2]*b[1],a[2]*b[0]-a[0]*b[2],a[0]*b[1]-a[1]*b[0]};
    nai=0;
    rep(i,0,3)nai+=a[i]*b[i];
    x[3]+=x[0]-x[1];y[3]+=y[0]-y[1];z[3]+=z[0]-z[1];
    ad=a[0]*x[3]+a[1]*y[3]+a[2]*z[3];
    bd=b[0]*x[3]+b[1]*y[3]+b[2]*z[3];
    d[0]=(ad-nai*bd)/(1-nai*nai);
    d[1]=bd-d[0]*nai;
    d[2]=cc[0]*x[3]+cc[1]*y[3]+cc[2]*z[3];
    //cout<<cc[0]<<" "<<cc[1]<<" "<<cc[2]<<endl;
    //cout<<ad<<" "<<nai<<" "<<bd<<endl;
    //cout<<d[0]<<" "<<d[1]<<endl;
    if(d[0]<=0||d[1]<=0){
        cout<<"NO"<<endl;
        return 0;
    }
    cout<<"YES"<<endl;
}