#include"bits/stdc++.h"
#include"atcoder/all"
using namespace std;
using namespace atcoder;
#pragma GCC target("avx2")
#pragma GCC optimize("O2")
#pragma GCC optimize("unroll-loops")
using ll = long long;
using ld = long double;
#define rep(i,m,n) for(ll i=(ll)m;i<(ll)n;i++)
#define drep(i,m,n) for(ll i=m-1;i>=n;i--)
#define Endl endl
#define pr(i,j) make_pair(i,j) 
#define isin(x,l,r) (l<=x&&x<r)
#define chmin(a,b) a=min(a,b)
#define chmax(a,b) a=max(a,b)
#define srt(ar) sort(ar.begin(),ar.end())
#define rev(ar) reverse(ar.begin(),ar.end())
#define jge(f) cout<<(f?"Yes":"No")<<endl
const ll inf = 1e18;
const ld pi = 3.14159265358979;
using mint = modint998244353;
clock_t ST, FN;
bool f(vector<ll>ar) {
	return (ar[0]<ar[1] && ar[1]>ar[2]) || (ar[0] > ar[1] && ar[1] < ar[2]);
}
int main() {
	ST = clock();
	ios::sync_with_stdio(false);
	cin.tie(nullptr);

	vector<ll>a(3), b(3);
	rep(i, 0, 3)cin >> a[i];
	rep(i, 0, 3)cin >> b[i];
	rep(i, 0, 3) {
		rep(j, 0, 3) {
			vector<ll>x = a;
			vector<ll>y = b;
			swap(x[i], y[j]);
			if (f(x) && f(y)) {
				cout << "Yes" << Endl;
				return 0;
			}
		}
	}
	cout << "No" << endl;
}