fixed bug : Failure triggered from sat!