#include <bits/stdc++.h>
using namespace std;
int gcd(int a, int b) { return a % b == 0 ? b : gcd(b, a % b); }
int a1, b1;
int a2, b2;
int a3, b3;
int main() {
  while (scanf("%d%d%d%d%d%d", &a1, &b1, &a2, &b2, &a3, &b3) != EOF) {
    if (a1 < b1) swap(a1, b1);
    if (a2 + a3 <= a1) {
      if (max(b2, b3) <= b1) {
        puts("YES");
        continue;
      }
    }
    if (a2 + b3 <= a1) {
      if (max(b2, a3) <= b1) {
        puts("YES");
        continue;
      }
    }
    if (b2 + a3 <= a1) {
      if (max(a2, b3) <= b1) {
        puts("YES");
        continue;
      }
    }
    if (b2 + b3 <= a1) {
      if (max(a2, a3) <= b1) {
        puts("YES");
        continue;
      }
    }
    if (a2 + a3 <= b1) {
      if (max(b2, b3) <= a1) {
        puts("YES");
        continue;
      }
    }
    if (a2 + b3 <= b1) {
      if (max(b2, a3) <= a1) {
        puts("YES");
        continue;
      }
    }
    if (b2 + a3 <= b1) {
      if (max(a2, b3) <= a1) {
        puts("YES");
        continue;
      }
    }
    if (b2 + b3 <= b1) {
      if (max(a2, a3) <= a1) {
        puts("YES");
        continue;
      }
    }
    puts("NO");
  }
  return 0;
}
