If you're fuzzing the solver, you might discover a solver bug.