returns *all* solutions