[yast-devel] Enabled distupgrade of the SAT solver