c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 80 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 79 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 80 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 80 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 99 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 100 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 100 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 100 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 169 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 170 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 170 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 170 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 300 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 300 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 297 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 299 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 76 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 80 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 80 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 80 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 100 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 100 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 100 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 98 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 186 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 1552 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 2798 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 2068 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 4088 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 6108 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 8214 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 3065 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 6689 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 3207 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 6547 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 3136 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 6121 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 19368 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 23281 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 24792 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 16121 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 13803 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 15901 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 12461 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 14766 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 7825 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 850 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 800 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 900 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 133 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 204 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 297 c constraints type c org.sat4j.minisat.constraints.card.MinWatchCard => 415