Adding puzzle solvability checker.