/* * the decision operation, one of +Satsolver::DECISION_*+ */ int op()