settings for sat-solving added