Some failing tests expose problems with the solver
Dude, that's so meta