#include <bits/stdc++.h>
using namespace std;
using namespace std;
int main() {
  int i, j, k = 0;
  int a[3][4];
  for (i = 0; i < 3; i++)
    for (j = 0; j < 4; j++) cin >> a[i][j];
  if ((a[1][0] <= a[0][0]) && (a[2][0] <= a[0][0]) && (a[1][2] >= a[0][2]) &&
      (a[2][2] >= a[0][2])) {
    if (((a[1][1] <= a[0][1]) || (a[2][1] <= a[0][1])) &&
        ((a[2][3] >= a[0][3]) || (a[1][3] >= a[0][3]))) {
      if (a[1][1] <= a[2][1]) {
        if ((a[1][3] >= a[2][1]) &&
            ((a[2][3] >= a[0][3]) || (a[1][3] >= a[0][3]))) {
          cout << "NO";
          k++;
        }
      } else {
        if ((a[2][3] >= a[1][1]) &&
            ((a[1][3] >= a[0][3]) || (a[2][3] >= a[0][3]))) {
          cout << "NO";
          k++;
        }
      }
    }
  }
  if (k == 0) {
    if ((a[1][0] < a[2][0])) {
      if (a[1][0] <= a[0][0]) {
        if ((a[1][2] <= a[0][0]) && (a[2][0] <= a[0][0]) &&
            (a[2][2] >= a[0][2])) {
          if ((a[2][1] <= a[0][1]) && (a[2][3] >= a[0][3])) {
            cout << "NO";
            k++;
          }
        }
        if ((a[2][0] <= a[0][0]) && (a[2][2] >= a[0][2]) && (k == 0)) {
          if ((a[2][1] <= a[0][1]) && (a[2][3] >= a[0][3])) {
            cout << "NO";
            k++;
          }
        }
        if ((a[1][2] >= a[0][2]) && (k == 0)) {
          if ((a[1][1] <= a[0][1]) && (a[1][3] >= a[0][3])) {
            cout << "NO";
            k++;
          }
        }
        if ((a[1][2] >= a[2][0]) && (max(a[1][2], a[2][2]) >= a[0][2]) &&
            (k == 0)) {
          if (a[1][2] >= a[0][2]) {
            if (((a[1][1] <= a[0][1]) && (a[1][3] >= a[0][3]))) {
              cout << "NO";
              k++;
            }
          } else {
            if (((a[1][3] >= a[0][3]) && (a[2][3] >= a[0][3])) &&
                ((a[1][1] <= a[0][1]) && (a[2][1] <= a[0][1]))) {
              cout << "NO";
              k++;
            }
          }
        }
      }
    } else {
      if (a[2][0] <= a[0][0]) {
        if ((a[2][2] <= a[0][0]) && (a[1][0] <= a[0][0]) &&
            (a[1][2] >= a[0][2])) {
          if ((a[1][1] <= a[0][1]) && (a[1][3] >= a[0][3])) {
            cout << "NO";
            k++;
          }
        }
        if ((a[1][0] <= a[0][0]) && (a[1][2] >= a[0][2]) && (k == 0)) {
          if ((a[1][1] <= a[0][1]) && (a[1][3] >= a[0][3])) {
            cout << "NO";
            k++;
          }
        }
        if ((a[2][2] >= a[0][2]) && (k == 0)) {
          if ((a[2][1] <= a[0][1]) && (a[2][3] >= a[0][3])) {
            cout << "NO";
            k++;
          }
        }
        if ((a[2][2] >= a[1][0]) && (max(a[1][2], a[2][2]) >= a[0][2]) &&
            (k == 0)) {
          if (a[2][2] >= a[0][2]) {
            if (((a[2][1] <= a[0][1]) && (a[2][3] >= a[0][3]))) {
              cout << "NO";
              k++;
            }
          } else {
            if (((a[1][3] >= a[0][3]) && (a[2][3] >= a[0][3])) &&
                ((a[1][1] <= a[0][1]) && (a[2][1] <= a[0][1]))) {
              cout << "NO";
              k++;
            }
          }
        }
      }
    }
  }
  if (k == 0) cout << "YES";
  return 0;
}
