ToySolver.ContiTraverso

solve

solve'