// Enjoy your stay. Code by evima

#include <bits/stdc++.h>

#define LOOPVAR_TYPE long long

#define all(x) (x).begin(), (x).end()
#define sz(x) ((LOOPVAR_TYPE)(x).size())
#define foreach(it, X) for(__typeof((X).begin()) it = (X).begin(); it != (X).end(); it++)
#define GET_MACRO(_1, _2, _3, NAME, ...) NAME
#define _rep(i, n) _rep2(i, 0, n)
#define _rep2(i, a, b) for(LOOPVAR_TYPE i = (LOOPVAR_TYPE)(a); i < (LOOPVAR_TYPE)(b); i++)
#define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__)

template<class T> bool chmin(T &a, const T &b) { return (b < a) ? (a = b, true) : false; }
template<class T> bool chmax(T &a, const T &b) { return (a < b) ? (a = b, true) : false; }

#define fir first
#define sec second
#define mp make_pair
#define mt make_tuple
#define pb push_back
#define eb emplace_back

const double EPS = 1e-9;
const double PI = 3.141592653589793238462;
const long long INF = 1070000000LL;
const long long MOD = 998244353LL;// 1000000007LL;

using namespace std;
using ld = long double;
using ll = long long;

int a[3], b[3];

bool kado(int c[3]){
    return (c[0] < c[1] && c[1] > c[2] || c[0] > c[1] && c[1] < c[2]) && c[0] != c[2];
}

int main() {
    cin.tie(NULL);
    ios_base::sync_with_stdio(false);
    
    rep(i, 3) cin >> a[i];
    rep(i, 3) cin >> b[i];
    rep(i, 3){
        rep(j, 3){
            swap(a[i], b[j]);
            if(kado(a) && kado(b)){
                return cout << "Yes" << endl, 0;
            }
            swap(a[i], b[j]);
        }
    }
    cout << "No" << endl;
}