Tweaked coefficients and prettified the solver output.