Added a debug tool to checkSolution