find-many-solutions and find-many-solutions2 do not solve the puzzle yet!
I have more incite into this issue now though.