Added satsolver