#include <bits/stdc++.h>
//#include <atcoder/all>
using namespace std;
//using namespace atcoder;
typedef long long ll;
typedef pair<ll,ll> P;
//typedef modint1000000007 mint;
#define rep(i,a,b) for(ll i=a;i<b;i++)
#define rrep(i,a,b) for(ll i=a;i>=b;i--)
int a[3],b[3];
bool ans=false;
int main(void){
    cin.tie(0);
    ios::sync_with_stdio(0);
    rep(i,0,3){
        cin>>a[i];
    }
    rep(i,0,3){
        cin>>b[i];
    }
    rep(i,0,3){
        rep(j,0,3){
            swap(a[i],b[j]);
            if((a[1]>a[0]&&a[1]>a[2])||(a[1]<a[0]&&a[1]<a[2])){
                if((b[1]>b[0]&&b[1]>b[2])||(b[1]<b[0]&&b[1]<b[2])){
                    if(a[0]!=a[1]&&a[1]!=a[2]&&a[2]!=a[0]){
                        if(b[0]!=b[1]&&b[1]!=b[2]&&b[2]!=b[0]){
                            ans=true;
                        }
                    }
                }
            }
            swap(a[i],b[j]);
        }
    }
    if(ans){
        cout<<"Yes"<<endl;
    }else{
        cout<<"No"<<endl;
    }

}