#include <iostream>
#include <vector>
using namespace std;

int main()
{
  vector<int> C(6);
  for(int i = 0; i < 6; i++) cin >> C.at(i);
  
  for(int i = 0; i <= 2; i++)
  {
    for(int j = 3; j <= 5; j++)
    {
      swap(C.at(i), C.at(j));
      if((C.at(0) == C.at(1)) || (C.at(1) == C.at(2)) || (C.at(2) == C.at(0)))
      {
        swap(C.at(i), C.at(j));
        continue;
      }
      if((C.at(3) == C.at(4)) || (C.at(4) == C.at(5)) || (C.at(5) == C.at(3)))
      {
        swap(C.at(i), C.at(j));
        continue;
      }
      
      if(((C.at(0) < C.at(1)) && (C.at(1) > C.at(2))) || ((C.at(0) > C.at(1)) && (C.at(1) < C.at(2))))
      {
        if(((C.at(3) < C.at(4)) && (C.at(4) > C.at(5))) || ((C.at(3) > C.at(4)) && (C.at(4) < C.at(5))))
        {
          cout << "Yes" << endl;
          return 0;
        }
      }
      swap(C.at(i), C.at(j));
    }
  }
  
  cout << "No" << endl;
  return 0;
}