#include <iostream>
#include <vector>
#include <string>
using namespace std;

int board[4][4];

bool check() {
	for(int i = 0; i < 4; i++) {
		for(int j = 0; j < 4; j++) {
			if(i == 3 && j == 3) {
				if(board[i][j] != 0) {
					return false;
				}
			}
			else if(board[i][j] != i * 4 + j + 1) {
				return false;
			}
		}
	}
	return true;
}

int main() {

	int ii, jj;
	for(int i = 0; i < 4; i++) {
		for(int j = 0; j < 4; j++) {
			cin >> board[i][j];
			if(board[i][j] == 0) {
				ii = i;
				jj = j;
			}
		}
	}

	int dx[] = { 1, 0, -1, 0 }, dy[] = { 0, 1, 0, -1 };
	while(true) {
		bool flag = false;
		for(int k = 0; k < 4; k++) {
			int ni = ii + dy[k], nj = jj + dx[k];
			if(ni < 0 || 4 <= ni || nj < 0 || 4 <= nj) continue;
			if(board[ni][nj] == ii * 4 + jj + 1) {
				swap(board[ii][jj], board[ni][nj]);
				ii = ni;
				jj = nj;
				flag = true;
			}
		}
		if(!flag) break;
	}
	if(check()) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}
}