#include <bits/stdc++.h>
using namespace std;
void FastIO() {
  ios_base::sync_with_stdio(0);
  cin.tie(NULL);
  cout.tie(NULL);
}
long long modpow(long long a, long long p, long long mod) {
  long long ret = 1;
  while (p) {
    if (p & 1) ret = (ret * a) % mod;
    a = (a * a) % mod;
    p /= 2;
  }
  return ret;
}
long long power(long long a, long long p) {
  long long ret = 1;
  while (p) {
    if (p & 1) ret = (ret * a);
    a = (a * a);
    p /= 2;
  }
  return ret;
}
bool fit(int a, int b, int x, int y) {
  if ((a <= x && b <= y) || (a <= y && b <= x)) return 1;
  return 0;
}
int a[5], b[5];
int main() {
  FastIO();
  for (int i = 0; i < 3; i++) cin >> a[i] >> b[i];
  if (!fit(a[1], b[1], a[0], b[0])) {
    cout << "NO\n";
    return 0;
  }
  bool f = 0;
  if (a[1] <= a[0] && b[1] <= b[0]) {
    int x1 = a[0] - a[1], y1 = b[0] - b[1];
    if (fit(a[2], b[2], x1, b[0])) f = 1;
    if (fit(a[2], b[2], a[0], y1)) f = 1;
  }
  swap(a[1], b[1]);
  if (a[1] <= a[0] && b[1] <= b[0]) {
    int x1 = a[0] - a[1], y1 = b[0] - b[1];
    if (fit(a[2], b[2], x1, b[0])) f = 1;
    if (fit(a[2], b[2], a[0], y1)) f = 1;
  }
  cout << (f ? "YES\n" : "NO\n");
  return 0;
}
