[Bug 680549] New: kiwi: SaT solver setup failed openSUSE 11.4