check bugs for the solver, all test cases passed.