c  FILE: aim-50-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 50 80
254: 5 28 41 0
251: 5 28 41 0
253: 10 30 41 0
247: 5 10 41 0
239: 5 25 30 0
191: 5 25 30 0
247: 11 30 33 0
127: 11 30 33 0
251: 7 30 33 0
239: 7 14 33 0
127: 4 7 14 0
247: 4 14 29 0
191: 1 14 32 0
223: 1 4 32 0
254: 1 24 29 0
247: 1 24 34 0
191: 6 24 34 0
251: 6 24 38 0
247: 6 32 38 0
254: 32 44 48 0
191: 38 44 48 0
253: 22 29 48 0
251: 22 29 32 0
127: 22 25 48 0
239: 22 25 40 0
247: 18 22 40 0
223: 18 20 40 0
223: 18 28 40 0
191: 18 28 39 0
223: 28 35 39 0
191: 35 39 43 0
127: 35 43 50 0
191: 43 45 50 0
254: 31 45 50 0
191: 31 44 45 0
239: 15 44 49 0
127: 15 31 49 0
251: 15 31 36 0
253: 15 23 36 0
191: 23 36 46 0
253: 20 27 46 0
191: 20 23 27 0
127: 16 27 46 0
253: 16 26 27 0
253: 16 17 26 0
253: 2 13 17 0
247: 2 13 26 0
127: 5 17 26 0
191: 2 17 42 0
223: 2 12 13 0
127: 2 12 42 0
253: 8 13 42 0
191: 8 10 13 0
251: 3 8 10 0
223: 3 10 37 0
223: 3 10 47 0
254: 10 19 47 0
191: 12 19 47 0
251: 12 19 21 0
247: 9 19 21 0
127: 9 11 21 0
223: 9 11 49 0
254: 11 41 49 0
251: 19 32 37 0
223: 1 39 50 0
254: 8 17 40 0
254: 38 43 49 0
253: 23 42 47 0
191: 13 29 37 0
223: 34 37 47 0
191: 33 37 50 0
239: 6 14 34 0
247: 9 20 50 0
254: 35 36 38 0
254: 3 31 46 0
251: 7 16 21 0
239: 6 17 26 0
254: 23 24 46 0
253: 18 24 45 0
191: 4 6 7 0