Pretty-print solutions