modify a warning line in satisfiability program.