#include <bits/stdc++.h>
using namespace std;
int main() {
  int a1, b1, a2, b2, a3, b3;
  while (scanf("%d%d%d%d%d%d", &a1, &b1, &a2, &b2, &a3, &b3) != EOF) {
    if (a1 < b1) swap(a1, b1);
    if (a2 < b2) swap(a2, b2);
    if (a3 < b3) swap(a3, b3);
    int l1 = a2 + a3, w1 = max(b2, b3);
    int l2 = max(a2, a3), w2 = b2 + b3;
    int l3 = max(a2, b3), w3 = b2 + a3;
    int l4 = max(b2, a3), w4 = a2 + b3;
    if (l1 < w1) swap(l1, w1);
    if (l2 < w2) swap(l2, w2);
    if (l3 < w3) swap(l3, w3);
    if (l4 < w4) swap(l4, w4);
    if ((l1 <= a1 && w1 <= b1) || (l2 <= a1 && w2 <= b1) ||
        (l3 <= a1 && w3 <= b1) || (l4 <= a1 && w4 <= b1))
      cout << "YES" << endl;
    else
      cout << "NO" << endl;
  }
  return 0;
}
