[Bug 362985] New: Solver behavior randomly broken