modification de is_unsat en are_sat