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