#include<iostream>
#include<sstream>
#include<cstdio>
#include<cstring>
#include<string>
#include<vector>
#include<list>
#include<queue>
#include<stack>
#include<utility>
#include <fstream>
#include<set>
#include<map>
#include<cctype>
#include<cmath>
#include<algorithm>
#include <numeric>
using namespace std;


#define RALL(x) (x).rbegin(),(x).rend()
#define ALL(x) (x).begin(),(x).end()
#define repp(i,n) for(int (i)=1;(i)<=(n);(i)++)
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
#define rev(i,n) for(int (i)=(n-1);(i)>=0;(i)--)
#define clr(a) memset((a), 0 ,Nof(a))
#define found(s,e) ((s).find(e)!=(s).end())

typedef pair<int,int> P;
typedef vector<pair<int,int> > pii;
typedef map<string,int> mdi;


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


int main(){
	vector<int>v(7);
	for(int i=0;i<7;i++){
		cin >> v[i];
	}
	
	sort(v.begin(),v.end());
	
	do{
		bool ok=true;
		for(int i=0;i<5;i++){
			ok&=F(v[i],v[i+1],v[i+2]);
		}
		
		if(ok){
			cout << "YES" << endl;
			return 0;
		}
	}while(next_permutation(v.begin(),v.end()));
	
	cout << "NO" << endl;
	return 0;
}