#include <bits/stdc++.h>
using namespace std;
int main() {
  long long x1, y1, x2, y2, x3, y3, x4, y4, x5, y5, x6, y6;
  cin >> x1 >> y1 >> x2 >> y2 >> x3 >> y3 >> x4 >> y4 >> x5 >> y5 >> x6 >> y6;
  long long a1 = (x2 - x1) * (y2 - y1);
  x3 = max(x3, x1);
  x4 = min(x4, x2);
  x5 = max(x5, x1);
  x6 = min(x6, x2);
  y3 = max(y3, y1);
  y5 = max(y5, y1);
  y6 = min(y2, y6);
  y4 = min(y4, y2);
  long long a2 = (x4 - x3) * (y4 - y3);
  long long a3 = (x6 - x5) * (y6 - y5);
  if (a2 < 0) a2 = 0;
  if (a3 < 0) a3 = 0;
  if (a1 == a2 || a1 == a3) {
    cout << "NO";
    return 0;
  }
  a1 -= a2 + a3;
  if (a1 > 0) {
    cout << "YES" << endl;
    return 0;
  }
  if (x4 > x5 && x3 <= x5) {
    long long y7 = min(y4, y6);
    long long y8 = max(y3, y5);
    x4 = min(x4, x6);
    long long val = (x4 - x5) * (y7 - y8);
    if (val > 0) a1 += val;
  } else if (x6 > x3 && x5 <= x3) {
    long long y7 = min(y4, y6);
    long long y8 = max(y3, y5);
    x6 = min(x6, x4);
    long long val = (x6 - x3) * (y7 - y8);
    if (val > 0) a1 += val;
  }
  if (a1 == 0) {
    cout << "NO" << endl;
    return 0;
  }
  cout << "YES";
}
