[Bug 500407] Solver solution isn't what I would expect