#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_NUM_CNT		7										// 数字数

// 内部変数
static FILE *szpFpI;											// 入力
static int si1Num[D_NUM_CNT];									// 数字

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// 判定
int
fJudge(
	int *pipSel					// <I> 選択数字
)
{
	int i;

	for (i = 0; i < D_NUM_CNT - 2; i++) {

		// A2の最大・最小チェック
		if (pipSel[i + 1] > pipSel[i] && pipSel[i + 1] > pipSel[i + 2]) {
		}
		else if (pipSel[i + 1] < pipSel[i] && pipSel[i + 1] < pipSel[i + 2]) {
		}
		else {
			return -1;
		}

		// A1<A3のチェック
		if (pipSel[i] >= pipSel[i + 2]) {
			return -1;
		}
	}

	return 0;
}

// 数字選択
int
fSel(
	int *pipSel					// <I> 選択数字
	, int piSCnt				// <I> 選択数字数
)
{
	int i, liRet;

	// 選択終了
	if (piSCnt == D_NUM_CNT) {
		return fJudge(pipSel);
	}

	// 選択
	for (i = 0; i < D_NUM_CNT; i++) {

		// 数字選択
		if (si1Num[i] < 1) {
			continue;
		}
		int liSel = si1Num[i];
		si1Num[i] = -1;
		pipSel[piSCnt] = liSel;

		// 下位へ
		liRet = fSel(pipSel, piSCnt + 1);
		if (liRet == 0) {
			return 0;
		}

		// 数字を戻す
		si1Num[i] = liSel;
	}

	return -1;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i, liRet;
	char lc1Buf[1024], lc1Out[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 数字 - 取得
	for (i = 0; i < D_NUM_CNT; i++) {
		fscanf(szpFpI, "%d", &si1Num[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 数字選択
	int li1Sel[D_NUM_CNT];
	liRet = fSel(li1Sel, 0);

	// 結果 - セット
	if (liRet == 0) {
		sprintf(lc1Out, "YES\n");
	}
	else {
		sprintf(lc1Out, "NO\n");
	}

	// 結果 - 表示
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}