#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0; i<(n); i++)
typedef long long ll;

bool kado(int a, int b, int c){
	if(a==b||b==c||a==c) return false;
	if(b<a&&b<c) return true;
	else if(b>a&&b>c) return true;
	else return false;
}

int main(){
	vector<int> v(6);
	for(int i=0; i<6; i++) cin>>v[i];
	
	for(int i=0; i<3; i++){
		for(int j=3; j<6; j++){
			vector<int> a=v;
			swap(a[i],a[j]);
			if(kado(a[0],a[1],a[2])&&kado(a[3],a[4],a[5])){
				cout<<"Yes"<<endl;
				return 0;
			}
		}
	}
	cout<<"No"<<endl;
}