Cover solutions are recorded by the solver rather than directly output.
Add Knuth cover example as a test case.