#include <bits/stdc++.h>

int board[4][4] = {};
bool moved[4][4];
int ex;
int ey;

bool solve(int x, int y) {

  bool b;
  int bx = x;
  int by = y;
  int bex = ex;
  int bey = ey;

  /* 
  std::cout << x << " " << y << std::endl;
  for(int i = 0; i < 4; ++i) {
    for(int j = 0; j < 4; ++j) {
      std::cout << board[i][j] << " ";
    }
    std::cout << std::endl;
  }
  std::cout << std::endl;
  */

  
  if( not ( 0 <= x and x < 4 and 0 <= y and y < 4 ) ) {
    return false;
  }

  if( moved[x][y] ) {
    return false;
  }

  if( board[x][y] != 0 ) {
    std::swap(board[ex][ey], board[x][y]);
    moved[ex][ey] = true;
    ex = x;
    ey = y;
  }

  b = true;
  for(int i = 0; i < 4; ++i) {
    for(int j = 0; j < 4; ++j) {
      if( board[i][j] != i*4+j+1 && not ( i == 3 and j == 3 and board[i][j] == 0 ) ) {
	b = false;
      }
    }
  }
  if( b ) {
    return true;
  }
  
  if( solve(ex+1, ey) ) {
    ex = bex;
    ey = bey;
    moved[ex][ey] = false;
    std::swap(board[bex][bey], board[bx][by]);
    return true;
  }
  if( solve(ex-1, ey) ) {
    ex = bex;
    ey = bey;
    moved[ex][ey] = false;
    std::swap(board[bex][bey], board[bx][by]);
    return true;
  }
  if( solve(ex, ey+1) ) {
    ex = bex;
    ey = bey;
    moved[ex][ey] = false;
    std::swap(board[bex][bey], board[bx][by]);
    return true;
  }
  if( solve(ex, ey-1) ) {
    ex = bex;
    ey = bey;
    moved[ex][ey] = false;
    std::swap(board[bex][bey], board[bx][by]);
    return true;
  }
  
  ex = bex;
  ey = bey;
  moved[ex][ey] = false;
  std::swap(board[bex][bey], board[bx][by]);
  return false;
}
  

int main() {

  bool ans;
  
  for(int i = 0; i < 4; ++i) {
    for(int j = 0; j < 4; ++j) {
      moved[i][j] = false;
    }
  }

  for(int i = 0; i < 4; ++i) {
    for(int j = 0; j < 4; ++j) {
      std::cin >> board[i][j];
      if( board[i][j] == 0 ) {
	ex = i;
	ey = j;
      }
    }
  }
  
  ans = solve(ex, ey);

  if( ans ) {
    std::cout << "Yes" << std::endl;
  }
  else {
    std::cout << "No" << std::endl;
  }
  
  return 0;
}