#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define rep(i,a,b) for(it i=(it)(a);i<=(it)b;i++)
#define nrep(i,a,b) for(it i=(it)(a);i>=(it)b;i--)
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(), v.rend()
#define moda 998244353LL
#define modb 1000000007LL
#define dai 2500000000000000000LL
#define tyu 2500000000
#define sho -dai
#define eps 1e-14
#define yn(x) cout<<(x ? "Yes":"No")<<endl;
#define YN(x) cout<<(x ? "YES":"NO")<<endl;
using it=long long;
using ll=long long;
using un=unsigned long long;
using db=long double;
using st=string;
using ch=char;
using bo=bool;
using P=pair<it,it>;
using mint=modint;
using vi=vector<it>;
using vd=vector<db>;
using vs=vector<st>;
using vc=vector<ch>;
using vb=vector<bo>;
using vp=vector<P>;
using vm=vector<mint>;
using sp=set<P>;
using ss=set<st>;
using sc=set<ch>;
using si=set<it>;
using vvi=vector<vi>;
using vvd=vector<vd>;
using vvs=vector<vs>;
using vvb=vector<vb>;
using vvc=vector<vc>;
using vvp=vector<vp>;
using vvm=vector<vm>;
using vsi=vector<si>;
using vsp=vector<sp>;
using vvsi=vector<vsi>;
using vvsp=vector<vsp>;
using vvvi=vector<vvi>;
using vvvd=vector<vvd>;
using vvvvi=vector<vvvi>;

bo kado(it a,it b,it c){
  return a!=b&&a!=c&&b!=c&&(max(a,max(b,c))==b||min(a,min(b,c))==b);
}

int main(){
  vi a(3),b(3);
  rep(i,0,2)cin>>a[i];
  rep(i,0,2)cin>>b[i];
  rep(i,0,2)
    rep(j,0,2){
      swap(a[i],b[j]);
      if(kado(a[0],a[1],a[2])&&kado(b[0],b[1],b[2])){
        cout<<"Yes\n";
        return 0;
      }
      swap(a[i],b[j]);
    }
  cout<<"No\n";
}