#include <bits/stdc++.h>
using namespace std;
int n, i, j, x;
long long m, k, x1, u1, x2, y2, x3, y3, x4, y4, x5, y5, x6, y6;
bool t = 0;
int main() {
  cin >> x1 >> u1 >> x2 >> y2 >> x3 >> y3 >> x4 >> y4 >> x5 >> y5 >> x6 >> y6;
  m = (x2 - x1) * (y2 - u1);
  if (x3 < x2 && y3 < y2 && x4 > x1 && y4 > u1) {
    if (x3 < x1) x3 = x1;
    if (y3 < u1) y3 = u1;
    if (x4 > x2) x4 = x2;
    if (y4 > y2) y4 = y2;
    k = (x4 - x3) * (y4 - y3);
    m -= k;
  }
  if (x5 < x2 && y5 < y2 && x6 > x1 && y6 > u1) {
    if (x5 < x1) x5 = x1;
    if (y5 < u1) y5 = u1;
    if (x6 > x2) x6 = x2;
    if (y6 > y2) y6 = y2;
    k = (x6 - x5) * (y6 - y5);
    m -= k;
  }
  if (x3 < x6 && x4 > x5 && y3 < y6 && y5 < y4) {
    if (x3 < x5) x3 = x5;
    if (x4 > x6) x4 = x6;
    if (y3 < y5) y3 = y5;
    if (y4 > y6) y4 = y6;
    k = (x4 - x3) * (y4 - y3);
    m += k;
  }
  if (m > 0)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
