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

// 内部定数
#define D_ON			1										// 汎用フラグ - ON
#define D_OFF			0										// 汎用フラグ - OFF
#define D_SIZE			4										// １辺サイズ

// 内部変数
static FILE *szpFpI;											// 入力
static int si2Goal[D_SIZE + 2][D_SIZE + 2];						// 目標マス
static int si2Now[D_SIZE + 2][D_SIZE + 2];						// 現在マス
static int si2Done[D_SIZE + 2][D_SIZE + 2];						// 処理済フラグ

// 内部宣言
int fJudge(int, int);

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

// 数値 - 入れ替え
int
fSwap(
	int *pipVal1				// <IO> 値１
	, int *pipVal2				// <IO> 値２
)
{
	int liWork = *pipVal1;
	*pipVal1 = *pipVal2;
	*pipVal2 = liWork;

	return 0;
}

// 交換
int
fChange(
	int piSx					// <I> 空きマスの位置X
	, int piSy					// <I> 空きマスの位置Y
	, int piTx					// <I> 移動先X
	, int piTy					// <I> 移動先Y
)
{
	int liRet;

	// 処理済フラグ
	if (si2Done[piTy][piTx] != D_OFF) {
		return -1;
	}

	// 文字入れ替え - 実行
	fSwap(&si2Now[piSy][piSx], &si2Now[piTy][piTx]);
	si2Done[piSy][piSx] = D_ON;								// 処理済フラグ

	// 判定
	liRet = fJudge(piTx, piTy);
	if (liRet == 0) {
		return 0;
	}

	// 文字入れ替え - 戻す
	fSwap(&si2Now[piSy][piSx], &si2Now[piTy][piTx]);
	si2Done[piSy][piSx] = D_OFF;							// 処理済フラグ

	return -1;
}

// 判定
int
fJudge(
	int piSx					// <I> 空きマスの位置X
	, int piSy					// <I> 空きマスの位置Y
)
{
	int liRet;

	// 一致チェック
	if (!memcmp(si2Goal, si2Now, sizeof(si2Goal))) {
		return 0;
	}

	// 右と交換
	liRet = fChange(piSx, piSy, piSx + 1, piSy);
	if (liRet == 0) {
		return 0;
	}

	// 左と交換
	liRet = fChange(piSx, piSy, piSx - 1, piSy);
	if (liRet == 0) {
		return 0;
	}

	// 上と交換
	liRet = fChange(piSx, piSy, piSx, piSy + 1);
	if (liRet == 0) {
		return 0;
	}

	// 下と交換
	liRet = fChange(piSx, piSy, piSx, piSy - 1);
	if (liRet == 0) {
		return 0;
	}

	return -1;
}

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

	// データ - 初期化
	memset(si2Goal, 0, sizeof(si2Goal));						// 目標マス
	memset(si2Now, 0, sizeof(si2Now));							// 現在マス

	// 入力 - セット
#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 = 1; i <= D_SIZE; i++) {
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d%d%d%d", &si2Goal[i][1], &si2Goal[i][2], &si2Goal[i][3], &si2Goal[i][4]);
	}

	// 現在マス - 作成
	for (i = 1; i <= D_SIZE; i++) {
		for (j = 1; j <= D_SIZE; j++) {
			si2Now[i][j] = (i - 1) * 4 + j;
		}
	}
	si2Now[D_SIZE][D_SIZE] = 0;

	// 処理済フラグ - 初期化
	for (i = 0; i < D_SIZE + 2; i++) {
		for (j = 0; j < D_SIZE + 2; j++) {
			if (1 <= i && i <= D_SIZE && 1 <= j && j <= D_SIZE) {
				si2Done[i][j] = D_OFF;
			}
			else {
				si2Done[i][j] = D_ON;
			}
		}
	}

	// 判定
	liRet = fJudge(D_SIZE, D_SIZE);

	// 結果 - セット
	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;
}