Rename testNoSolution to testNoSolution1