Solve only wanted constraints.
An experiment with reordering goals while solving + more tricky examples.