add tests for finding solutions