#include <iostream>
using namespace std;

int dh[4]={0,0,1,-1};
int dw[4]={1,-1,0,0};
int ary1[4][4]={{1,2,3,4},{5,6,7,8},{9,10,11,12},{13,14,15,0}};

int calc(int h,int w,int ary2[][4],int ary3[]){
  int ret=0;
  int f=0;
  for(int i=0; i<4; ++i){
    for(int j=0; j<4; ++j){
      if(ary1[i][j]!=ary2[i][j]){
        f=1;
        break;
      }
    }
  }
  if(f==1){
    for(int i=0; i<4; ++i){
      int h2=h+dh[i];
      int w2=w+dw[i];
      if(h2<0 || h2>3 || w2<0 || w2>3) continue;
      if(ary3[ary2[h2][w2]]==1) continue;
      int ary4[16];
      for(int i=0; i<16; ++i){
        ary4[i]=ary3[i];
      }
      ary4[ary2[h2][w2]]=1;
      int ary5[4][4];
      for(int i2=0; i2<4; ++i2){
        for(int j2=0; j2<4; ++j2){
          ary5[i2][j2]=ary2[i2][j2];
        }
      }
      ary5[h][w]=ary5[h2][w2];
      ary5[h2][w2]=0;
      ret+=calc(h2,w2,ary5,ary4);
    }
  } else{
    ret+=1;
  }
  return ret;
}

int main(){
  int ary2[4][4];
  int a,h,w;
  for(int i=0; i<4; ++i){
    for(int j=0; j<4; ++j){
      cin>>a;
      ary2[i][j]=a;
      if(a==0){
        h=i;
        w=j;
      }
    }
  }
  int ary3[16];
  for(int i=0; i<16; ++i){
    ary3[i]=0;
  }
  if(calc(h,w,ary2,ary3)){
    cout<<"Yes"<<endl;
  } else {
    cout<<"No"<<endl;
  }
  return 0;
}