#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;

#include <bits/stdc++.h>
using namespace std;

bool iskado(int x,int y,int z){
  if(y>x && y>z && x!=z) return true;
  if(y<x && y<z && x!=z) return true;
  return false;
}

int main(){
  vector<int> A(3),B(3);
  rep(i,3) cin>>A[i];
  rep(i,3) cin>>B[i];
  
  bool b=false;
  rep(i,3){
    rep(j,3){
      vector<int> C=A;
      vector<int> D=B;
      swap(C[i],D[j]);
      if(iskado(C[0],C[1],C[2]) && iskado(D[0],D[1],D[2])) b=true;
    }
  }
  if(b) cout<<"Yes"<<endl;
  else cout<<"No"<<endl;

  return 0;
}