commit minisat for openSUSE:Factory