commit libsatsolver