def tupling(A):
    return tuple([tuple(a) for a in A])

def f(A,S):
    if A==B:
        return True

    if (tupling(A),S) in Memo:
        return Memo[(tupling(A),S)]

    for i in range(SIZE):
        if 0 in A[i]:
            j=A[i].index(0)
            break

    Flag=False
    for x,y in V:
        if 0<=x+i<SIZE and 0<=y+j<SIZE:
            p=A[i+x][j+y]
            if S&(1<<p)==0:
                A[i][j],A[i+x][j+y]=p,0
                Flag|=f(A,S|(1<<p))
                A[i][j],A[i+x][j+y]=0,p
    Memo[(tupling(A),S)]=Flag
    return Flag

SIZE=4
A=[]
for _ in range(SIZE):
    A.append(list(map(int,input().split())))

V=[(1,0),(0,1),(-1,0),(0,-1)]
B=[[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,0]]
Memo={}
print("Yes" if f(A,0) else "No")