#include <bits/stdc++.h>
using namespace std;
int main() {
  ofstream out("output.txt");
  auto start = chrono::high_resolution_clock::now();
  long long t = 1;
  for (long long test = 1; test <= t; test++) {
    pair<pair<long long, long long>, pair<long long, long long> > c[3];
    for (long long i = 0; i <= 2; i++)
      cin >> c[i].first.first >> c[i].first.second >> c[i].second.first >>
          c[i].second.second;
    long long a1 = 0, a2 = 0, a3 = 0,
              aT = (c[0].second.first - c[0].first.first) *
                   (c[0].second.second - c[0].first.second);
    pair<pair<long long, long long>, pair<long long, long long> > inter[3];
    inter[0] =
        make_pair(make_pair(max(c[0].first.first, c[1].first.first),
                            max(c[0].first.second, c[1].first.second)),
                  make_pair(min(c[0].second.first, c[1].second.first),
                            min(c[0].second.second, c[1].second.second)));
    inter[1] =
        make_pair(make_pair(max(c[0].first.first, c[2].first.first),
                            max(c[0].first.second, c[2].first.second)),
                  make_pair(min(c[0].second.first, c[2].second.first),
                            min(c[0].second.second, c[2].second.second)));
    inter[2] = make_pair(
        make_pair(max(inter[1].first.first, inter[0].first.first),
                  max(inter[1].first.second, inter[0].first.second)),
        make_pair(min(inter[1].second.first, inter[0].second.first),
                  min(inter[1].second.second, inter[0].second.second)));
    if (inter[0].second.first >= inter[0].first.first &&
        inter[0].second.second >= inter[0].first.second)
      a1 = (inter[0].second.first - inter[0].first.first) *
           (inter[0].second.second - inter[0].first.second);
    if (inter[1].second.first >= inter[1].first.first &&
        inter[1].second.second >= inter[1].first.second)
      a2 = (inter[1].second.first - inter[1].first.first) *
           (inter[1].second.second - inter[1].first.second);
    if (inter[2].second.first >= inter[2].first.first &&
        inter[2].second.second >= inter[2].first.second)
      a3 = (inter[2].second.first - inter[2].first.first) *
           (inter[2].second.second - inter[2].first.second);
    if (aT != 0) {
      if (a1 + a2 - a3 >= aT)
        cout << "NO\n";
      else
        cout << "YES\n";
    } else {
      if (c[0].first.second == c[0].second.second) {
        long long l1 = 0, l2 = 0, l3 = 0,
                  lT = (c[0].second.first - c[0].first.first);
        if (inter[0].second.first >= inter[0].first.first &&
            inter[0].second.second >= inter[0].first.second)
          l1 = inter[0].second.first - inter[0].first.first;
        if (inter[1].second.first >= inter[1].first.first &&
            inter[1].second.second >= inter[1].first.second)
          l2 = inter[1].second.first - inter[1].first.first;
        if (inter[2].second.first >= inter[2].first.first &&
            inter[2].second.second >= inter[2].first.second)
          l3 = inter[2].second.first - inter[2].first.first;
        if (lT != 0) {
          if (l1 + l2 - l3 >= lT)
            cout << "NO\n";
          else
            cout << "YES\n";
        } else {
          if ((c[0].first.first >= c[1].first.first &&
               c[0].second.first <= c[1].second.first &&
               c[0].first.second >= c[1].first.second &&
               c[0].second.second <= c[1].second.second) ||
              (c[0].first.first >= c[2].first.first &&
               c[0].second.first <= c[2].second.first &&
               c[0].first.second >= c[2].first.second &&
               c[0].second.second <= c[2].second.second))
            cout << "NO\n";
          else
            cout << "YES\n";
        }
      } else {
        long long l1 = 0, l2 = 0, l3 = 0,
                  lT = (c[0].second.second - c[0].first.second);
        if (inter[0].second.first >= inter[0].first.first &&
            inter[0].second.second >= inter[0].first.second)
          l1 = inter[0].second.second - inter[0].first.second;
        if (inter[1].second.first >= inter[1].first.first &&
            inter[1].second.second >= inter[1].first.second)
          l2 = inter[1].second.second - inter[1].first.second;
        if (inter[2].second.first >= inter[2].first.first &&
            inter[2].second.second >= inter[2].first.second)
          l3 = inter[2].second.second - inter[2].first.second;
        if (lT != 0) {
          if (l1 + l2 - l3 >= lT)
            cout << "NO\n";
          else
            cout << "YES\n";
        } else {
          if ((c[0].first.first >= c[1].first.first &&
               c[0].second.first <= c[1].second.first &&
               c[0].first.second >= c[1].first.second &&
               c[0].second.second <= c[1].second.second) ||
              (c[0].first.first >= c[2].first.first &&
               c[0].second.first <= c[2].second.first &&
               c[0].first.second >= c[2].first.second &&
               c[0].second.second <= c[2].second.second))
            cout << "NO\n";
          else
            cout << "YES\n";
        }
      }
    }
  }
  auto stop = chrono::high_resolution_clock::now();
}
