sudoku_answer(solution, [[1, 2, 3, 4], [3, 4, 1, 2], [2, 1, 4, 3], [4, 3, 2, 1]]).
sudoku_answer(solution_count, 2).
