now possible to enumerate all solutions
enumeration of solutions works properly