#include <bits/stdc++.h>
using namespace std;
int visited[4][4];
vector<vector<int>> ok={{1,2,3,4},{5,6,7,8},{9,10,11,12},{13,14,15,0}};
int mx[]={1,-1,0,0},my[]={0,0,1,-1};
bool dfs(vector<vector<int>> a,int x,int y){
	if(a==ok)	return true;
	if(visited[y][x])	return false;
	visited[y][x]=true;
	for(int i=0;i<4;i++){
		int cx=x+mx[i],cy=y+my[i];
		if(cx<0||3<cx||cy<0||3<cy)	continue;
		if(a[cy][cx]==ok[y][x]){
			swap(a[cy][cx],a[y][x]);
			if(dfs(a,cx,cy))	return true;
			swap(a[cy][cx],a[y][x]);
		}
	}
	visited[y][x]=false;
	return false;
}
int main(){
	vector<vector<int>> a(4,vector<int>(4));
	int x,y;
	for(int i=0;i<4;i++){
		for(int j=0;j<4;j++){
			cin>>a[i][j];
			if(a[i][j]==0)	x=j,y=i;
		}
	}
	if(dfs(a,x,y))	cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
	return 0;
}