Function testSatOk

Typo + creation of testSatOk to check if a SAT pb is over or not