new solver successful in test cases