#include <cstdio>
#include <cstdlib>
#include <algorithm>

using namespace std;

//namaega184

int a[4][4],b[4][4],used[16];
int dx[4]={1,0,-1,0},dy[4]={0,-1,0,1};
int dfs(int y,int x){
	int ans=0;
	int dis=0;
	for(int i=0;i<4;i++)for(int j=0;j<4;j++)if(a[i][j]!=b[i][j])dis++;
	if(!dis)return 1;
	if(!ans)for(int i=0;i<4;i++){
		if(y+dy[i]<0||y+dy[i]>3||x+dx[i]<0||x+dx[i]>3||used[a[y+dy[i]][x+dx[i]]])continue;
		used[a[y+dy[i]][x+dx[i]]]=1;
		swap(a[y][x],a[y+dy[i]][x+dx[i]]);
		ans+=dfs(y+dy[i],x+dx[i]);
		swap(a[y][x],a[y+dy[i]][x+dx[i]]);
		used[a[y+dy[i]][x+dx[i]]]=0;
	}
	return ans;
}
int main(){
	int x,y,cnt=0;
	for(int i=0;i<4;i++)for(int j=0;j<4;j++){
		scanf("%d",&a[i][j]);if(a[i][j]==0)x=j,y=i;b[i][j]=(i*4+j+1)%16;
	} 
	if(dfs(y,x))printf("Yes\n");
	else printf("No\n");
	
	
	
	return 0;
}