Search a solution

1308 Efficient solutions found