#include <bits/stdc++.h>
using namespace std;
long long int power(long long int x, long long int y) {
  long long int res = 1;
  x %= 998244353;
  while (y > 0) {
    if (y & 1) res = (res * x) % 998244353;
    y = y >> 1;
    x = (x * x) % 998244353;
  }
  return res % 998244353;
}
long long int logtwo(long long int n) {
  if (n == 1) return 0;
  return logtwo(n / 2) + 1;
}
void ceilsearch(long long int ar[], long long int low, long long int high,
                long long int x, long long int &y) {
  if (low > high) return;
  long long int mid = (low + high) / 2;
  if (ar[mid] >= x) {
    y = mid;
    ceilsearch(ar, low, mid - 1, x, y);
  } else {
    ceilsearch(ar, mid + 1, high, x, y);
  }
}
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long int x1, x2, x3, x4, x5, x6;
  long long int y1, y2, y3, y4, y5, y6;
  cin >> x1 >> y1 >> x2 >> y2 >> x3 >> y3 >> x4 >> y4 >> x5 >> y5 >> x6 >> y6;
  long long int a1 = 0;
  if (x1 <= x3 && x3 < x2 || x1 < x4 && x4 <= x2 || x4 >= x2 && x3 < x2 ||
      x3 <= x1 && x4 > x1) {
    if (y1 <= y3 && y3 < y2 && y1 < y4 && y4 <= y2 || y4 >= y2 && y3 < y2 ||
        y3 <= y1 && y4 > y1) {
      long long int ax = min(x4, x2);
      long long int ay = min(y2, y4);
      long long int bx = max(x1, x3);
      long long int by = max(y3, y1);
      a1 = abs(ax - bx) * abs(ay - by);
    }
  }
  long long int a2 = 0;
  if (x1 <= x5 && x5 < x2 || x1 < x6 && x6 <= x2 || x6 >= x2 && x5 < x2 ||
      x5 <= x1 && x6 > x1) {
    if (y1 <= y5 && y5 < y2 && y1 < y6 && y6 <= y2 || y6 >= y2 && y5 < y2 ||
        y5 <= y1 && y6 > y1) {
      long long int ax = min(x6, x2);
      long long int ay = min(y2, y6);
      long long int bx = max(x1, x5);
      long long int by = max(y5, y1);
      a2 = abs(ax - bx) * abs(ay - by);
    }
  }
  long long int aa = (x2 - x1) * (y2 - y1);
  long long int ba = 0;
  if (x3 <= x5 && x5 < x4 || x3 < x6 && x6 <= x4 || x6 >= x4 && x5 < x4 ||
      x5 <= x3 && x6 > x3) {
    if (y3 <= y5 && y5 < y4 && y3 < y6 && y6 <= y4 || y6 >= y4 && y5 < y4 ||
        y5 <= y3 && y6 > y3) {
      long long int ax = min(x2, min(x6, x4));
      long long int ay = min(y2, min(y4, y6));
      long long int bx = max(x1, max(x3, x5));
      long long int by = max(y1, max(y5, y3));
      ba = max(0ll, (ax - bx) * (ay - by));
    }
  }
  if (a1 == 0 || a2 == 0) ba = 0;
  long long int ans = aa - a1 - a2 + ba;
  if (ans > 0)
    cout << "YES"
         << "\n";
  else
    cout << "NO"
         << "\n";
}
