#include <stdio.h>

#define SIZE	7
int perm[SIZE];
char used[SIZE];
int test = 0;
int s[SIZE];

void check(void)
{
	int i, j=0;
	for( i = 0; i < SIZE - 2; i++) {
		if( s[perm[i]] < s[perm[i+2]] && ( s[perm[i+1]] < s[perm[i]] || s[perm[i+2]] < s[perm[i+1]]) ) {
			j++;
		}
	}
	if( j == 5 ) test = 1;
}

void make_perm(int n)
{
	int i;
	if( n == SIZE ) {
		check();
	} else {
		for( i = 0; i < SIZE; i++) {
			if( used[i] == 0 ) {
				used[i] = 1;
				perm[n] = i;
				make_perm( n+1 );
				used[i] = 0;
			}
		}
	}
}

int main(void)
{
	int i;
	for( i = 0; i < SIZE; i++) {
		scanf("%d", &s[i]);	
	}

	make_perm(0);

	test ? printf("YES\n") : printf("NO\n");
	return 0;
}