Added some verification that given puzzle is solveable