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