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 cnf 100 159 11 13 27 0 -13 27 63 0 -13 27 -63 0 9 11 -27 0 -9 11 -27 0 -11 32 98 0 -11 32 -98 0 20 -32 53 0 -11 -20 53 0 -13 -32 -53 0 13 -53 67 0 13 -67 -98 0 -67 -85 98 0 -40 85 98 0 19 40 85 0 2 -19 40 0 -2 -19 -22 0 -2 -19 -43 0 22 43 89 0 23 43 89 0 -12 -23 89 0 22 -61 -89 0 61 -66 -89 0 57 61 66 0 -57 66 97 0 -57 83 -97 0 5 -83 -97 0 -63 -83 -97 0 -5 -83 -90 0 63 -75 90 0 -58 75 90 0 -8 58 75 0 -33 39 58 0 8 -33 58 0 8 33 73 0 8 -73 -100 0 65 -73 100 0 -65 -73 88 0 -44 -65 -73 0 -78 84 -88 0 -78 -84 -88 0 44 45 55 0 44 -45 55 0 25 -55 78 0 10 -25 -91 0 -10 -55 -91 0 35 46 91 0 35 -46 91 0 -35 79 -80 0 -25 -35 -80 0 16 -35 80 0 -16 -48 80 0 -16 48 -81 0 -17 48 72 0 -17 -72 81 0 17 -46 81 0 -10 17 81 0 10 46 86 0 10 -45 -86 0 45 60 -86 0 49 -60 -86 0 -49 -52 -60 0 -18 -49 52 0 -18 -51 52 0 18 -49 59 0 18 -21 -59 0 21 42 -59 0 21 -31 -42 0 29 31 62 0 -29 31 -42 0 -7 31 62 0 -42 -62 -92 0 26 -62 92 0 -26 -72 92 0 -26 -51 72 0 51 72 79 0 37 51 -79 0 -29 -37 -79 0 22 -37 50 0 -22 50 -79 0 -20 29 -50 0 20 -50 -54 0 20 54 -71 0 14 54 71 0 -14 71 -74 0 -14 15 74 0 -15 28 74 0 -21 28 74 0 -15 -64 65 0 -28 -64 -65 0 -28 64 -70 0 64 70 -76 0 -7 70 76 0 -7 76 -96 0 -6 36 76 0 -6 7 76 0 6 7 -93 0 6 -41 93 0 41 68 93 0 39 41 -68 0 4 25 -39 0 4 -25 -68 0 -4 -39 -47 0 -4 -30 47 0 30 38 47 0 30 -38 -69 0 -3 -38 69 0 3 34 -38 0 3 69 -98 0 34 -69 -98 0 -34 -38 -56 0 -34 56 -82 0 56 -77 82 0 36 77 82 0 -9 -36 77 0 1 -36 77 0 -1 9 -12 0 -1 12 -96 0 12 24 96 0 -24 95 96 0 -24 -95 99 0 -84 -95 -99 0 84 94 -99 0 84 -87 -94 0 23 87 -94 0 -23 -27 87 0 -44 57 -92 0 -31 -93 95 0 33 68 78 0 5 19 86 0 -58 60 -70 0 -45 52 -87 0 35 83 -100 0 1 -30 49 0 24 94 100 0 -18 73 80 0 26 28 42 0 38 -45 97 0 14 16 91 0 -66 67 99 0 -43 -48 -51 0 16 -40 44 0 -31 -41 -81 0 15 42 -82 0 33 -51 83 0 -5 25 -71 0 2 -56 -76 0 -43 -48 73 0 59 60 -85 0 -3 -8 -75 0 -30 33 39 0 19 36 79 0 29 -72 88 0 24 49 -74 0 -30 -54 -90 0 40 -47 79 0 14 -30 -61 0 13 -30 35 0 14 -52 -77 0