/* -*- coding: utf-8 -*-
 *
 * 228.cc: No.228 ゆきこちゃんの 15 パズル - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int dxs[] = {1, 0, -1, 0}, dys[] = {0, -1, 0, 1};

/* typedef */

typedef unsigned long long ull;
typedef pair<ull,int> puli;

/* global variables */

/* subroutines */

/* main */

int main() {
  ull st = 0, gl = 0;
  for (int i = 0; i < 15; i++) st |= ((ull)(i + 1) << (i * 4));
  for (int i = 0; i < 16; i++) {
    ull ai;
    cin >> ai;
    gl |= (ai << (i * 4));
  }
  //printf("st=%016llx, gl=%016llx\n", st, gl);

  queue<puli> q;
  q.push(puli(st, 0));
  bool ok = false;
  
  while (! q.empty()) {
    puli u = q.front(); q.pop();
    ull &ubits = u.first;
    int &umask = u.second;

    if (ubits == gl) {
      ok = true;
      break;
    }

    int upos;
    for (upos = 0; upos < 16; upos++)
      if (((ubits >> (upos * 4)) & 0xf) == 0) break;
    int ux = upos % 4, uy = upos / 4;

    for (int di = 0; di < 4; di++) {
      int vx = ux + dxs[di], vy = uy + dys[di];
      if (vx >= 0 && vy < 4 && vy >= 0 && vy < 4) {
	int vpos = vy * 4 + vx;
	int vi = (ubits >> (vpos * 4)) & 0xf;
	if (! (umask & (1 << vi))) {
	  int vmask = umask | (1 << vi);
	  ull vbits =
	    (ubits & ~(0xfULL << (vpos * 4))) | ((ull)vi << (upos * 4));
	  q.push(puli(vbits, vmask));
	}
      }
    }
  }

  cout << (ok ? "Yes" : "No") << endl;
  return 0;
}