using System;
using System.IO;
using System.Linq;
using System.Text;
using System.Collections.Generic;
using System.Diagnostics;
using System.Numerics;
using Enu = System.Linq.Enumerable;

class Program
{
    static readonly int[] DR = { 0, 1, 0, -1 };
    static readonly int[] DC = { 1, 0, -1, 0 };
    bool IsInside(int r, int c) { return r >= 0 && r < 4 && c >= 0 && c < 4; }
    static void Swap<T>(ref T a, ref T b) { T t = a; a = b; b = t; }

    public void Solve()
    {
        var A = Reader.IntTable(4);
        int empty = Enu.Range(0, 16).First(i => A[i / 4][i % 4] == 0);
        if (Rec(empty / 4, empty % 4, A, new bool[16])) Console.WriteLine("Yes");
        else Console.WriteLine("No");
    }

    bool Rec(int r, int c, int[][] A, bool[] moved)
    {
        if (OK(A)) return true;
        for (int d = 0; d < DR.Length; d++)
        {
            int nr = r + DR[d], nc = c + DC[d];
            if (!IsInside(nr, nc) || moved[A[nr][nc]]) continue;
            moved[A[nr][nc]] = true;
            Swap(ref A[r][c], ref A[nr][nc]);
            if (Rec(nr, nc, A, moved)) return true;
            Swap(ref A[r][c], ref A[nr][nc]);
            moved[A[nr][nc]] = false;
        }
        return false;
    }

    private bool OK(int[][] A)
    {
        for (int r = 0; r < 4; r++)
            for (int c = 0; c < 4; c++)
            {
                int x = 1 + r * 4 + c;
                if (A[r][c] != x && x != 16) return false;
            }
        return true;
    }


}


class Entry { static void Main() { new Program().Solve(); } }
class Reader
{
    private static TextReader reader = Console.In;
    private static readonly char[] separator = { ' ' };
    private static readonly StringSplitOptions op = StringSplitOptions.RemoveEmptyEntries;
    private static string[] A = new string[0];
    private static int i;
    private static void Init() { A = new string[0]; }
    public static void Set(TextReader r) { reader = r; Init(); }
    public static void Set(string file) { reader = new StreamReader(file); Init(); }
    public static bool HasNext() { return CheckNext(); }
    public static string String() { return Next(); }
    public static int Int() { return int.Parse(Next()); }
    public static long Long() { return long.Parse(Next()); }
    public static double Double() { return double.Parse(Next()); }
    public static int[] IntLine() { return Array.ConvertAll(Split(Line()), int.Parse); }
    public static int[] IntArray(int N) { return Enu.Range(0, N).Select(i => Int()).ToArray(); }
    public static int[][] IntTable(int H) { return Enu.Range(0, H).Select(i => IntLine()).ToArray(); }
    public static string[] StringArray(int N) { return Enu.Range(0, N).Select(i => Line()).ToArray(); }
    public static string Line() { return reader.ReadLine().Trim(); }
    private static string[] Split(string s) { return s.Split(separator, op); }
    private static string Next() { CheckNext(); return A[i++]; }
    private static bool CheckNext()
    {
        if (i < A.Length) return true;
        string line = reader.ReadLine();
        if (line == null) return false;
        if (line == "") return CheckNext();
        A = Split(line);
        i = 0;
        return true;
    }
}