#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

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

int main(){
	int n = 7;
	vector<int> a(n);
	for(int i=0; i<n; i++) cin >> a[i];

	sort(a.begin(), a.end());
	
	for(int i=0; i<(1<<n); i++){
		if( __builtin_popcount(i) != (n+1)/2 ) continue;
		
		vector<int> b(n);
		int x = 0, y = 1;
		for(int j=0; j<n; j++){
			if((i>>j)&1){
				b[x] = a[j];
				x += 2;
			}else{
				b[y] = a[j];
				y += 2;
			}
		}
		bool ok = true;
		for(int j=2; j<n; j++){
			if( is_kadomatsu(b[j-2], b[j-1], b[j]) && b[j-2]<b[j] ) continue;
			ok = false;
		}
		if(ok){
			for(int j=0; j<n; j++){
				cerr << b[j] << " ";
			}cerr << endl;
			cout << "YES" << endl;
			return 0;
		}
	}


	cout << "NO" << endl;
	return 0;
}