[Bug 358560] Solver messages still highly confusing