/* -*- coding: utf-8 -*-
 *
 * 1366.cc:  No.1366 交換門松列・梅 - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int N = 3;

/* typedef */

/* global variables */

int as[N], bs[N];

/* subroutines */

bool kadomatsu(int v[]) {
  return
    v[0] != v[2] &&
    ((v[0] < v[1] && v[1] > v[2]) || (v[0] > v[1] && v[1] < v[2]));
}

/* main */

int main() {
  for (int i = 0; i < N; i++) scanf("%d", as + i);
  for (int i = 0; i < N; i++) scanf("%d", bs + i);

  for (int i = 0; i < N; i++)
    for (int j = 0; j < N; j++) {
      swap(as[i], bs[j]);
      if (kadomatsu(as) && kadomatsu(bs)) {
	puts("Yes");
	return 0;
      }
      swap(as[i], bs[j]);
    }

  puts("No");
  return 0;
}