#include <bits/stdc++.h>
using namespace std;

bool is_kadomatu(int a1,int a2,int a3){
	if( a1 == a2 || a2 == a3 || a1 == a3 )return false;
	if( a2 > a1 && a2 > a3 || a2 < a1 && a2 < a3)return true;
	return false;
}

int main(void){
	vector<int> D(7);
	for(int i=0;i<7;i++){
		cin >> D[i];
	}

	sort(D.begin(),D.end());
	do{
		bool ok = true;
		for(int i=0;i<7-2;i++){
			if( !is_kadomatu(D[i],D[i+1],D[i+2]) )
				ok = false;
		}
		if(ok){
			cout << "YES" << endl;
			return 0;
		}
	}while(next_permutation(D.begin(),D.end()));

	cout << "NO" << endl;

	return 0;
}