#include<bits/stdc++.h>
using namespace std;
using Int = long long;
//INSERT ABOVE HERE
const Int N = 4;
Int a[N][N],z[N][N];
void check(){
  for(Int i=0;i<N;i++)
    for(Int j=0;j<N;j++)
      if(a[i][j]!=z[i][j]) return;
  cout<<"Yes"<<endl;
  exit(0);
}

Int di[]={1,-1,0,0};
Int dj[]={0,0,1,-1};

void dfs(Int b){
  check();
  for(Int i=0;i<N;i++){
    for(Int j=0;j<N;j++){
      if(a[i][j]) continue;
      for(Int k=0;k<4;k++){
	Int ni=i+di[k],nj=j+dj[k];
	if(ni<0||ni>=N||nj<0||nj>=N) continue;
	Int x=a[ni][nj];
	if((b>>x)&1) continue;
	Int nb=b|(1<<x);
	swap(a[i][j],a[ni][nj]);
	dfs(nb);
	swap(a[i][j],a[ni][nj]);
      }
    }
  }  
}

signed main(){
  for(Int i=0;i<N;i++)
    for(Int j=0;j<N;j++)
      cin>>a[i][j];

  
  for(Int i=0;i<N;i++)
    for(Int j=0;j<N;j++)
      z[i][j]=(i*N+j+1)%(N*N);
  
  dfs(0);
  cout<<"No"<<endl;
  return 0;
}