#include<iostream>
#include<algorithm>

using namespace std;

bool jud(int a,int b,int c){
	return a<c&&a!=b&&b!=c&&a!=c&&(min(a,min(b,c))==b||max(a,max(b,c))==b);
}

int main(){

	int D[7];

	for(int i=0;i<7;i++) cin>>D[i];

	for(int i=123456;i<10000000;i++){
		int a[7];
		int b=i;
		for(int j=0;j<7;j++) a[6-j]=b%10,b/=10;
		bool f=true;
		for(int j=0;j<7;j++){
			if(a[j]<0||a[j]>6) f=false;
			for(int k=0;k<7;k++){
				if(j!=k&&a[k]==a[j]) f=false;
			}
		}
		if(f){
			f=true;
			for(int j=0;j<7-2;j++){
				if(!jud(D[a[j]],D[a[j+1]],D[a[j+2]])) f=false;
			}
			if(f){
				cout<<"YES"<<endl;

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