#include <stdio.h>

int isK(int a, int b, int c) {
	return ( (a < b && b > c && a != c) || (a > b && b < c && a != c) );
}

int main() {
	int d[7], i, j;
	for(i = 0; i < 7; i++) { scanf("%d", &d[i]); }
	
	int p[7], flag;
	for(p[0] = 0; p[0] < 7; p[0]++) {
	for(p[1] = 0; p[1] < 7; p[1]++) {
	for(p[2] = 0; p[2] < 7; p[2]++) {
	for(p[3] = 0; p[3] < 7; p[3]++) {
	for(p[4] = 0; p[4] < 7; p[4]++) {
	for(p[5] = 0; p[5] < 7; p[5]++) {
	for(p[6] = 0; p[6] < 7; p[6]++) {
		flag = 0;
		for(i = 0; i < 7; i++) {
		for(j = 0; j < i; j++) {
			if(p[i] == p[j]) { flag = 1; break; }
		}
		}
		if(flag) { continue; }
		
		flag = 1;
		for(i = 0; i < 7 - 2; i++) {
			if( ! ( isK(d[p[i]], d[p[i+1]], d[p[i+2]]) && d[p[i]] < d[p[i+2]] ) ) { flag = 0; break; }
		}
		if(flag) { printf("YES\n"); return 0; }
	}}}}}}}
	
	printf("NO\n");
	return 0;
}