#include <bits/stdc++.h>

//#include <atcoder/all>
#define For(i, a, b) for (int(i) = (int)(a); (i) < (int)(b); ++(i))
#define rFor(i, a, b) for (int(i) = (int)(a)-1; (i) >= (int)(b); --(i))
#define rep(i, n) For((i), 0, (n))
#define rrep(i, n) rFor((i), (n), 0)
#define fi first
#define se second
using namespace std;
typedef long long lint;
typedef unsigned long long ulint;
typedef pair<int, int> pii;
typedef pair<lint, lint> pll;
template <class T>
bool chmax(T& a, const T& b) {
    if (a < b) {
        a = b;
        return true;
    }
    return false;
}
template <class T>
bool chmin(T& a, const T& b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}
template <class T>
T div_floor(T a, T b) {
    if (b < 0) a *= -1, b *= -1;
    return a >= 0 ? a / b : (a + 1) / b - 1;
}
template <class T>
T div_ceil(T a, T b) {
    if (b < 0) a *= -1, b *= -1;
    return a > 0 ? (a - 1) / b + 1 : a / b;
}

constexpr lint mod = 1000000007;
constexpr lint INF = mod * mod;
constexpr int MAX = 100010;

bool check(vector<int>& a) {
    if (a[0] == a[1] || a[1] == a[2] || a[0] == a[2]) return false;
    return *max_element(a.begin(), a.end()) == a[1] ||
           *min_element(a.begin(), a.end()) == a[1];
}

int main() {
    vector<int> a(3), b(3);
    rep(i, 3) scanf("%d", &a[i]);
    rep(i, 3) scanf("%d", &b[i]);
    rep(i, 3) rep(j, 3){
        swap(a[i], b[j]);
        if (check(a) && check(b)) {
            puts("Yes");
            return 0;
        }
        swap(a[i], b[j]);
    }
    puts("No");
}