Testing for solution