clause.push(-x2).push(-x3).push(y);
processClause(clause);
// taken from Niklas Een et al SAT 2007 paper
// Adding the following redundant clause will improve unit propagation
// y -> x2 or x3
clause.clear();
clause.push(-y).push(x2).push(x3);
processClause(clause);
}
/**