#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(ll i=0;i<n;i++)
  int a[3];
  int b[3];
  int a1[3];
  int b1[3];
int main(){

  for(int i=0;i<3;i++){
    cin>>a[i];
  }
  for(int i=0;i<3;i++){
    cin>>b[i];
  }
  int temp=0;
  for(int i=0;i<3;i++){
    for(int j=0;j<3;j++){
      for(int k=0;k<3;k++){
        a1[k]=a[k];
        b1[k]=b[k];
      }
        temp=a1[i];
        a1[i]=b1[j];
        b1[j]=temp;
        if((a1[0] != a1[1] && a1[1] != a1[2] && a1[0] != a1[2])
           && ((a1[0]<a1[1] && a1[1]>a1[2])||(a1[0]>a1[1] && a1[1]<a1[2]))&&
           (b1[0] != b1[1] && b1[1] != b1[2] && b1[0] != b1[2])
           && ((b1[0]<b1[1] && b1[1]>b1[2])||(b1[0]>b1[1] && b1[1]<b1[2]))){
          
             cout<<"Yes"<<endl;
          //cout<<a1[0]<<" "<<a1[1]<<" "<<a1[2]<<endl;
             return 0;
        
      }
    }
  }
  cout<<"No"<<endl;
  return 0;
}