Adds impossible.sud and checks for solution in readAndSolve-fn.