Solver: fix uneven layout.