#include <bits/stdc++.h>
using namespace std;
using ll = long long;
struct SQ {
  ll lx, ly;
  ll rx, hy;
  SQ() {
    lx = 0, ly = 0;
    rx = 0, hy = 0;
  }
  SQ(int x1, int y1, int x2, int y2) {
    lx = x1;
    ly = y1;
    rx = x2;
    hy = y2;
  }
};
SQ inter(SQ a, SQ b) {
  SQ anw;
  if (a.lx >= b.rx || b.lx >= a.rx) return anw;
  if (a.ly >= b.hy || b.ly >= a.hy) return anw;
  anw.lx = max(a.lx, b.lx);
  anw.rx = min(a.rx, b.rx);
  anw.ly = max(a.ly, b.ly);
  anw.hy = min(a.hy, b.hy);
  return anw;
}
ll area(SQ q) { return abs(q.lx - q.rx) * abs(q.ly - q.hy); }
int main() {
  ios::sync_with_stdio(false), cin.tie(), cout.tie();
  vector<SQ> s(3);
  for (int i = 0; i < 3; i++) {
    int x1, y1, x2, y2;
    cin >> x1 >> y1 >> x2 >> y2;
    s[i] = SQ(x1, y1, x2, y2);
  }
  ll wh = area(s[0]);
  wh -= area(inter(s[0], s[1]));
  wh -= area(inter(s[0], s[2]));
  wh += area(inter(s[0], inter(s[1], s[2])));
  if (wh > 0)
    cout << "YES";
  else
    cout << "NO";
}
