c  FILE: aim-100-1_6-yes1-1.cnf
c 
c  SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp),
c           and Yuichi Asahiro
c 
c  DESCRIPTION: Artifical instances from generator by source.  Generators
c               and more information in sat/contributed/iwama.
c 
c  NOTE: Satisfiable
c 
p 100 159
254: 11 13 27 0
239: 13 27 63 0
223: 13 27 63 0
253: 9 11 27 0
223: 9 11 27 0
239: 11 32 98 0
223: 11 32 98 0
251: 20 32 53 0
191: 11 20 53 0
127: 13 32 53 0
251: 13 53 67 0
247: 13 67 98 0
191: 67 85 98 0
239: 40 85 98 0
254: 19 40 85 0
251: 2 19 40 0
127: 2 19 22 0
127: 2 19 43 0
254: 22 43 89 0
254: 23 43 89 0
191: 12 23 89 0
247: 22 61 89 0
247: 61 66 89 0
254: 57 61 66 0
239: 57 66 97 0
223: 57 83 97 0
247: 5 83 97 0
127: 63 83 97 0
127: 5 83 90 0
251: 63 75 90 0
239: 58 75 90 0
239: 8 58 75 0
239: 33 39 58 0
251: 8 33 58 0
254: 8 33 73 0
247: 8 73 100 0
251: 65 73 100 0
191: 65 73 88 0
127: 44 65 73 0
223: 78 84 88 0
127: 78 84 88 0
254: 44 45 55 0
251: 44 45 55 0
251: 25 55 78 0
247: 10 25 91 0
127: 10 55 91 0
254: 35 46 91 0
251: 35 46 91 0
223: 35 79 80 0
127: 25 35 80 0
251: 16 35 80 0
191: 16 48 80 0
223: 16 48 81 0
239: 17 48 72 0
191: 17 72 81 0
251: 17 46 81 0
239: 10 17 81 0
254: 10 46 86 0
247: 10 45 86 0
253: 45 60 86 0
247: 49 60 86 0
127: 49 52 60 0
191: 18 49 52 0
191: 18 51 52 0
251: 18 49 59 0
247: 18 21 59 0
253: 21 42 59 0
247: 21 31 42 0
254: 29 31 62 0
223: 29 31 42 0
239: 7 31 62 0
127: 42 62 92 0
251: 26 62 92 0
191: 26 72 92 0
191: 26 51 72 0
254: 51 72 79 0
253: 37 51 79 0
127: 29 37 79 0
251: 22 37 50 0
223: 22 50 79 0
223: 20 29 50 0
247: 20 50 54 0
253: 20 54 71 0
254: 14 54 71 0
223: 14 71 74 0
239: 14 15 74 0
239: 15 28 74 0
239: 21 28 74 0
191: 15 64 65 0
127: 28 64 65 0
223: 28 64 70 0
253: 64 70 76 0
239: 7 70 76 0
223: 7 76 96 0
239: 6 36 76 0
239: 6 7 76 0
253: 6 7 93 0
251: 6 41 93 0
254: 41 68 93 0
253: 39 41 68 0
253: 4 25 39 0
247: 4 25 68 0
127: 4 39 47 0
191: 4 30 47 0
254: 30 38 47 0
247: 30 38 69 0
191: 3 38 69 0
253: 3 34 38 0
253: 3 69 98 0
247: 34 69 98 0
127: 34 38 56 0
223: 34 56 82 0
251: 56 77 82 0
254: 36 77 82 0
191: 9 36 77 0
251: 1 36 77 0
223: 1 9 12 0
223: 1 12 96 0
254: 12 24 96 0
239: 24 95 96 0
191: 24 95 99 0
127: 84 95 99 0
253: 84 94 99 0
247: 84 87 94 0
253: 23 87 94 0
191: 23 27 87 0
223: 44 57 92 0
191: 31 93 95 0
254: 33 68 78 0
254: 5 19 86 0
223: 58 60 70 0
223: 45 52 87 0
253: 35 83 100 0
251: 1 30 49 0
254: 24 94 100 0
239: 18 73 80 0
254: 26 28 42 0
251: 38 45 97 0
254: 14 16 91 0
239: 66 67 99 0
127: 43 48 51 0
251: 16 40 44 0
127: 31 41 81 0
253: 15 42 82 0
251: 33 51 83 0
223: 5 25 71 0
247: 2 56 76 0
191: 43 48 73 0
253: 59 60 85 0
127: 3 8 75 0
239: 30 33 39 0
254: 19 36 79 0
251: 29 72 88 0
253: 24 49 74 0
127: 30 54 90 0
251: 40 47 79 0
247: 14 30 61 0
251: 13 30 35 0
247: 14 52 77 0