let find i s = Solution.find (eqs_of s i)