Honey Heist

The scout ant 0x67 is looking for food and finds a beehive nearby. Inside the comb there is a cell packed with dried honey, and carrying that honey back to the nest would feed the colony through the winter. To reach the honey, 0x67 has to chew a tunnel through the cells of the comb.

The comb is a regular hexagon whose every edge is $R$ cells long, so it holds $R^3 - (R-1)^3$ cells. The cells are numbered in row major order: rows from top to bottom, and within a row from left to right. Two cells are adjacent when they share a wall. The numbering for $R = 4$ is:

0x67 goes through the hole and lands in cell $A$. It does not chew that cell. From there it chews one adjacent cell at a time on its way to cell $B$, which holds the honey. Its jaw gives out after a while, so it can chew at most $N$ cells. Some cells are hardened with wax and cannot be chewed, so 0x67 has to work around them.

Before it starts, 0x67 computes $K$, the smallest number of cells it has to chew to reach cell $B$, so that $B$ is the $K$th cell it chews. If $K > N$, it is not strong enough to dig the tunnel.

The first line contains five integers $R$, $N$, $A$, $B$, $X$ separated by spaces.

• $R$: the number of cells along each edge of the comb ($2 \le R \le 20$). The comb holds $R^3 - (R-1)^3$ cells.
• $N$: the largest number of cells 0x67 can chew ($1 \le N < R^3 - (R-1)^3$).
• $A$: the ID of the cell 0x67 enters. This cell lies on the border of the comb, so it has fewer than six neighbors.
• $B$: the ID of the cell that holds the honey ($1 \le B \le R^3 - (R-1)^3$).
• $X$: the number of wax hardened cells ($0 \le X < (R^3 - (R-1)^3) - 1$).

The second line contains the $X$ IDs of the wax hardened cells, separated by spaces. When $X = 0$ the second line is empty.

$A$, $B$ and the IDs on the second line are all different, and each of them is an integer between $1$ and $R^3 - (R-1)^3$.

If 0x67 can reach the honey, print $K$, the smallest number of cells it has to chew. If the wax seals off cell $B$ or $K > N$, print No instead.

This is the comb of the first example. The black cells are hardened with wax, and the six green cells are the ones 0x67 chews.

The second example uses the same comb with $N = 3$. After three red cells the jaw gives out, so the honey stays out of reach.