#include <bits/stdc++.h>
using namespace std;
const int dxhorse[] = {-2, -2, -1, -1, 1, 1, 2, 2};
const int dyhorse[] = {1, -1, 2, -2, 2, -2, 1, -1};
const int dx[] = {-1, 0, 1, 0, -1, -1, 1, 1};
const int dy[] = {0, 1, 0, -1, -1, 1, -1, 1};
const long double pie = 3.1415926535897932384626;
const long long N = 1e5;
int main() {
  long long x1, y1, x2, y2, x3, y3, x4, y4, x5, y5, x6, y6;
  cin >> x1 >> y1 >> x2 >> y2;
  cin >> x3 >> y3 >> x4 >> y4;
  cin >> x5 >> y5 >> x6 >> y6;
  long long a1 = (x2 - x1) * (y2 - y1);
  long long a2 = 0, a3 = 0, a4 = 0;
  if (x4 <= x1 || x3 >= x2 || y4 <= y1 || y3 >= y2) {
    a2 = 0;
  } else {
    long long a = min(x2, x4) - max(x1, x3);
    long long b = min(y2, y4) - max(y1, y3);
    a2 = a * b;
  }
  if (x6 <= x1 || x5 >= x2 || y6 <= y1 || y5 >= y2) {
    a3 = 0;
  } else {
    long long a = min(x2, x6) - max(x1, x5);
    long long b = min(y2, y6) - max(y1, y5);
    a3 = a * b;
  }
  if (a2 != 0 && a3 != 0) {
    long long a = min(x2, min(x4, x6)) - max(x1, max(x3, x5));
    long long b = min(y2, min(y4, y6)) - max(y1, max(y3, y5));
    a4 = a * b;
    if (a4 < 0) {
      a4 = 0;
    }
  }
  long long ans = a1 - (a2 + a3) + a4;
  if (ans > 0) {
    cout << "YES\n";
  } else {
    cout << "NO\n";
  }
  return 0;
}
