#include <bits/stdc++.h>
using namespace std;
struct rec {
  long long x1, x2, y1, y2;
};
rec white, black1, black2;
void enter() {
  cin >> white.x1 >> white.y1 >> white.x2 >> white.y2;
  cin >> black1.x1 >> black1.y1 >> black1.x2 >> black1.y2;
  cin >> black2.x1 >> black2.y1 >> black2.x2 >> black2.y2;
}
long long area(rec r) {
  long long x = max((long long)0, r.x2 - r.x1);
  long long y = max((long long)0, r.y2 - r.y1);
  return x * y;
}
rec overlap(rec a, rec b) {
  rec ans;
  ans.x1 = max(a.x1, b.x1);
  ans.y1 = max(a.y1, b.y1);
  ans.x2 = min(a.x2, b.x2);
  ans.y2 = min(a.y2, b.y2);
  return ans;
}
void solve() {
  long long ans =
      area(white) - area(overlap(white, black1)) - area(overlap(white, black2));
  long long d = area(overlap(white, overlap(black1, black2)));
  if (d > 0) ans += d;
  if (ans > 0)
    cout << "YES";
  else
    cout << "NO";
}
int main() {
  ios ::sync_with_stdio(0);
  cin.tie(0);
  cout << (fixed) << setprecision(9);
  enter();
  solve();
}
