#include <bits/stdc++.h>
using namespace std;
int main() {
  int a1, b1, a2, b2, a3, b3;
  scanf("%d %d", &a1, &b1);
  scanf("%d %d", &a2, &b2);
  scanf("%d %d", &a3, &b3);
  for (int i = 0; i < 2; ++i) {
    for (int j = 0; j < 2; ++j) {
      if (i) swap(a2, b2);
      if (j) swap(a3, b3);
      if (a2 + a3 <= a1 && max(b2, b3) <= b1) {
        printf("YES\n");
        return (0);
      }
      if (a2 + a3 <= b1 && max(b2, b3) <= a1) {
        printf("YES\n");
        return (0);
      }
      if (j) swap(a3, b3);
      if (i) swap(a2, b2);
    }
  }
  printf("NO\n");
  return (0);
}
