[zypp-devel] Feedback concerning the new SAT-solver