Add more negative unit test for SolutionChecker