Fixed typo is sat_solve help msg