Pull out the specific cases that are currently unsolved to allow easier iterative testing of the solver.