Solver test case 1 succeed.