solver ready for test"