ICPC 2018 · Problem J · Uncrossed Knight’s Tour

42nd ICPC · Beijing, China

Statement

Time limit: 2 seconds

A well-known puzzle is to “tour” all the squares of an 8×88\times 8 chessboard using a knight, which is a piece that can move only by jumping one square in one direction and two squares in an orthogonal direction. The knight must visit every square of the chessboard, without repeats, and then return to its starting square. There are many ways to do this, and the chessboard size is manageable, so it is a reasonable puzzle for a human to solve.

However, you have access to a computer, and some coding skills! So, we will give you a harder version of this problem on a rectangular m×nm\times n chessboard with an additional constraint: the knight may never cross its own path. If you imagine its path consisting of straight line segments connecting the centers of squares it jumps between, these segments must form a simple polygon; that is, no two segments intersect or touch, except that consecutive segments touch at their common end point. This constraint makes it impossible to visit every square, so instead you must maximize the number of squares the knight visits. We keep the constraint that the knight must return to its starting square. Figure J.1 shows an optimal

Figure J.1: An optimal solution for a 6\times 6 board.

Figure J.1: An optimal solution for a 6×66\times 6 board.

Input

The input consists of a single line containing two integers mm (1m81\le m\le 8) and nn (1n10151\le n\le 10^{15}), giving the dimensions of the rectangular chessboard.

Output

Display the largest number of squares that a knight can visit in a tour on an m×nm\times n chessboard that does not cross its path. If no such tour exists, display 00.

Sample Input 1

6 6

Sample Output 1

12

ACM-ICPC World Finals 2018 Problem J: Uncrossed Knight’s Tour

Sample Input 2

8 3

Sample Output 2

6

Sample Input 3

7 20

Sample Output 3

80

Sample Input 4

2 6

Sample Output 4

0

ACM-ICPC World Finals 2018 Problem J: Uncrossed Knight’s Tour

No official solution in the source collection.