#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<(int)(n); i++)

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  vector<double> x(5), y(5), z(5);
  for (int i = 0; i < 4; i++)
    cin >> x[i] >> y[i] >> z[i];

  x[4] = (x[0] + x[1] + x[2]) / 3;
  y[4] = (y[0] + y[1] + y[2]) / 3;
  z[4] = (z[0] + z[1] + z[2]) / 3;

  bool ck = true;
  for (int i = 0; i < 3; i++) {
    double dot =
      (x[3] - x[i]) * (x[4] - x[i]) +
      (y[3] - y[i]) * (y[4] - y[i]) +
      (z[3] - z[i]) * (z[4] - z[i]);
    ck &= dot >= 0;
  }

  if (ck)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  
  return 0;
}