#include <iostream>
#include <stdio.h>
int ds[7];
int ts[7];
bool ans=false;
bool f(int a,int b,int c){
	if((a<b)&&(c<b)&&(a<c)){
		return true;
	}
	if((a>b)&&(b<c)&&(a<c)){
		return true;
	}
	return false;
}

void dfs(int deep){
	if(deep==7){
		bool ok=true;
		for(int i=0;i<5;i++){
			ok=ok&&f(ts[i],ts[i+1],ts[i+2]);
		}
		ans=(ans||ok);
	}else{
		for(int i=0;i<7;i++){
			if(ts[i]!=-1)continue;
			ts[i]=ds[deep];
			dfs(deep+1);
			ts[i]=-1;
		}
	}
}



int main() {
	// your code goes here
	for(int i=0;i<7;i++){
		scanf("%d",&ds[i]);
		ts[i]=-1;
	}
	dfs(0);
	printf("%s\n",ans?"YES":"NO");
	return 0;
}