c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5