satsolver  0.17.2