#coding=UTF-8
import copy
def idxp(xy):
    if xy[0] >=0 and xy[0]<4:
        if xy[1] >= 0 and xy[1]<4:
            return True
    return False

zure=[(-1,0),(1,0),(0,-1),(0,1)]
goal=[[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,0]]
shokiban=[]
ans=False
for idx in range(0,4,1):
    mojir=input()
    hyo=mojir.split(' ')
    shokiban.append([int(mono) for mono in hyo])

kaikouho=[[shokiban,[]]]
while kaikouho != []:
    tmp=[]
#    print(kaikouho)
    for mono in kaikouho:
        if mono[0] == goal:
            ans=True
            break
        tgt=[]
        for idx in range(0,4,1):
            for idy in range(0,4,1):
                if mono[0][idx][idy]==0:
                    akiichi=(idx,idy)
        for idx in range(0,4,1):
            if idxp((akiichi[0]+zure[idx][0],akiichi[1]+zure[idx][1])):
                tgt.append((akiichi[0]+zure[idx][0],akiichi[1]+zure[idx][1]))
#        print(tgt)
        for myon in tgt:
            if not (mono[0][myon[0]][myon[1]] in mono[1]):
                tmpban=copy.deepcopy(mono[0])
                tmpban[myon[0]][myon[1]],tmpban[akiichi[0]][akiichi[1]]=\
                tmpban[akiichi[0]][akiichi[1]],tmpban[myon[0]][myon[1]]
                tmp.append([tmpban,mono[1]+[mono[0][myon[0]][myon[1]]]])
    kaikouho=tmp
#    if len(kaikouho)>10:
#        break
if ans:
    print('Yes')
else:
    print('No')