minor change to print out the solutions in satisfiability program