c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 100  430 
 -33 34 82 0
-13 -3 -10 0
-26 -90 -16 0
-59 31 37 0
4 72 22 0
51 44 -57 0
-56 -37 -99 0
19 20 87 0
-15 73 -72 0
-64 38 -68 0
-8 93 23 0
-61 81 -85 0
57 -65 98 0
-84 -14 85 0
52 28 -57 0
99 -19 91 0
-69 43 96 0
31 58 7 0
40 85 -19 0
-44 92 10 0
-98 9 40 0
-4 -99 -66 0
42 83 25 0
-53 -51 -11 0
-54 19 -43 0
85 17 -62 0
48 9 91 0
80 -50 25 0
30 50 -85 0
92 76 -78 0
86 24 13 0
39 95 27 0
-71 -87 -84 0
30 -21 -31 0
-74 -52 -28 0
-48 72 90 0
78 -58 33 0
39 -57 27 0
4 -82 -37 0
87 70 50 0
-81 69 6 0
8 7 -82 0
80 -49 -25 0
-23 74 -58 0
57 95 22 0
40 -89 11 0
69 67 -46 0
17 -87 -5 0
-17 -15 -50 0
27 30 -52 0
91 75 49 0
-41 88 -73 0
43 -53 -66 0
-24 -10 73 0
-31 -11 76 0
-43 -49 86 0
-97 92 70 0
-21 -82 -13 0
-92 -85 -43 0
-95 79 -65 0
20 86 -61 0
-7 27 -58 0
24 -25 67 0
7 85 -26 0
37 45 72 0
77 -41 94 0
-3 57 -56 0
45 -56 -85 0
-53 98 63 0
73 -84 -56 0
52 -61 -18 0
74 -100 -25 0
-89 5 12 0
50 69 2 0
-24 -20 32 0
-55 -16 -77 0
-40 -34 75 0
21 52 -38 0
36 -74 -23 0
85 -9 -89 0
33 42 67 0
-84 54 61 0
92 -38 -75 0
83 6 -73 0
-75 28 -67 0
-16 -77 96 0
-9 69 -63 0
-94 18 -17 0
68 30 92 0
-98 -11 63 0
18 -89 -83 0
-23 80 -37 0
-65 43 81 0
-68 79 -58 0
-95 -16 -4 0
63 98 66 0
13 34 -16 0
-13 -84 9 0
-21 -33 99 0
-72 86 32 0
52 5 8 0
-54 63 -53 0
36 24 55 0
-63 38 52 0
78 -88 -29 0
19 15 76 0
-46 -86 -87 0
69 91 22 0
-42 -97 -77 0
36 80 65 0
-63 -57 11 0
35 75 23 0
100 -22 -43 0
-64 53 58 0
-92 -46 -30 0
91 52 29 0
-37 75 94 0
81 6 46 0
-5 91 -54 0
12 -38 -10 0
14 -84 -50 0
-61 -22 -65 0
78 -61 76 0
-24 88 93 0
-42 61 -76 0
-50 -16 52 0
-89 -18 58 0
-23 -49 -98 0
-100 -95 69 0
31 -13 -79 0
76 13 -97 0
64 -100 72 0
-59 -75 -91 0
38 -72 56 0
24 96 40 0
-83 78 15 0
33 -69 -26 0
48 53 -39 0
41 -97 -56 0
-70 -57 22 0
55 36 -40 0
-67 -10 -91 0
-19 46 22 0
57 91 43 0
95 -8 60 0
-42 -34 -54 0
46 35 4 0
5 -24 -48 0
72 37 88 0
-19 -45 33 0
-97 -3 46 0
46 -29 -47 0
-52 -70 -76 0
-97 -68 93 0
10 -1 86 0
-53 76 49 0
-11 72 60 0
-10 -72 -94 0
41 -67 57 0
-76 61 38 0
-8 -55 92 0
89 63 90 0
-73 30 -82 0
-56 -19 12 0
64 30 88 0
-33 86 96 0
77 1 3 0
-98 -51 94 0
20 21 64 0
-81 -73 -62 0
-72 30 79 0
-82 96 18 0
-97 -18 -90 0
-36 1 -76 0
-32 -13 -57 0
-86 52 84 0
-82 -2 98 0
38 -83 36 0
-82 9 18 0
-41 39 62 0
52 -18 94 0
38 -64 15 0
-53 99 -83 0
5 -7 -65 0
72 4 10 0
-76 -53 60 0
-82 -25 -5 0
-97 -12 -65 0
-35 4 -97 0
-71 98 -64 0
-22 -7 17 0
23 -58 -29 0
-93 50 -98 0
47 -64 1 0
-3 34 -25 0
30 36 63 0
-51 -40 95 0
-66 58 98 0
-60 61 -91 0
87 -7 88 0
67 2 -38 0
-66 -99 -94 0
9 42 18 0
34 65 -93 0
-79 12 -3 0
68 89 77 0
-60 84 -23 0
12 -53 40 0
-61 92 10 0
-50 -95 -47 0
27 28 -58 0
27 91 58 0
-48 -56 54 0
32 -46 4 0
76 48 -14 0
91 27 2 0
-22 57 -25 0
80 53 24 0
45 72 -54 0
-68 89 -100 0
-56 2 -27 0
91 70 13 0
82 -29 70 0
-14 -6 -82 0
18 22 -84 0
17 59 96 0
99 6 -14 0
-28 2 -91 0
-7 -20 57 0
-83 5 32 0
-60 -39 94 0
99 -80 14 0
-74 18 35 0
-16 22 62 0
83 -93 -52 0
50 -18 -12 0
-51 -72 -65 0
58 -78 -32 0
38 14 -35 0
93 -16 34 0
-57 -92 18 0
49 37 82 0
11 79 20 0
16 38 26 0
-32 40 65 0
-72 4 -30 0
-100 -51 -31 0
23 75 30 0
-54 -33 68 0
-29 -13 55 0
-31 49 5 0
-55 37 57 0
-37 -40 95 0
-96 36 44 0
79 43 38 0
35 66 64 0
46 -80 -38 0
23 -1 -95 0
-28 62 11 0
96 4 67 0
50 71 -67 0
-15 -55 71 0
8 -79 36 0
-77 -23 -64 0
-12 90 92 0
81 -73 99 0
39 -100 63 0
-45 -60 -98 0
82 38 16 0
34 37 99 0
-53 97 -94 0
59 -83 79 0
41 37 -91 0
31 98 88 0
-56 -75 -50 0
-76 53 61 0
49 -63 -87 0
58 -24 15 0
-99 93 -28 0
100 95 44 0
-13 -25 97 0
-78 -42 63 0
-42 -27 71 0
86 -73 -25 0
82 59 60 0
-69 -20 33 0
66 71 67 0
76 62 -46 0
17 -8 -3 0
11 26 27 0
-4 53 -67 0
-36 16 -60 0
-40 -25 -56 0
-63 -72 -99 0
-33 10 92 0
-94 50 77 0
53 54 -38 0
-6 57 -12 0
52 -4 38 0
16 -1 -48 0
32 53 -42 0
-30 -65 14 0
-55 82 88 0
33 95 71 0
-60 -2 57 0
98 14 -91 0
36 -91 -65 0
58 -49 84 0
57 86 45 0
-36 -91 47 0
41 -55 21 0
83 -96 37 0
42 -56 52 0
-37 -36 -29 0
-26 -99 49 0
80 -32 61 0
-47 -46 17 0
86 -34 -72 0
80 -95 87 0
67 -2 49 0
-22 -54 71 0
4 -1 -79 0
36 69 -4 0
58 -85 57 0
94 -59 34 0
-81 -95 61 0
-85 -80 -16 0
34 36 -69 0
100 -59 -56 0
-38 -9 22 0
59 -77 90 0
-94 34 21 0
91 69 -89 0
-28 -11 -21 0
-72 -92 -79 0
23 29 -38 0
18 -33 -25 0
59 81 26 0
9 37 47 0
-99 -92 -94 0
-39 7 93 0
-68 -37 -63 0
-49 -33 32 0
-11 88 -76 0
-60 -15 -87 0
16 32 -79 0
38 -76 35 0
-52 -16 43 0
-24 -1 10 0
-95 -18 41 0
53 -85 -65 0
-30 31 47 0
73 -83 29 0
37 -89 -19 0
71 -83 -94 0
44 17 49 0
80 78 72 0
-40 14 -85 0
87 66 40 0
-83 -82 -10 0
-40 36 90 0
30 23 -16 0
-4 -89 -70 0
-39 44 -64 0
6 32 57 0
-88 49 85 0
15 -66 -51 0
-86 -70 89 0
55 -97 89 0
93 -80 -70 0
-98 -82 -27 0
-11 73 -28 0
62 89 64 0
-94 99 -17 0
-21 -9 -71 0
-68 56 46 0
-57 49 -76 0
79 71 68 0
-63 -14 10 0
70 17 -35 0
4 -74 -48 0
53 25 35 0
-7 88 16 0
-85 -92 50 0
-20 -41 -62 0
-47 85 41 0
80 86 33 0
-59 -21 -30 0
-10 -79 52 0
-5 93 63 0
-33 -93 -29 0
82 -68 -48 0
-57 41 -82 0
-46 -25 55 0
-19 -87 -20 0
-26 -85 60 0
-16 -41 -14 0
26 -13 -36 0
83 45 -75 0
-64 60 -45 0
51 67 82 0
-57 37 81 0
67 26 48 0
52 -15 91 0
84 -16 92 0
25 -50 100 0
46 -17 -57 0
62 -54 83 0
55 8 -29 0
-76 17 -96 0
-100 -69 44 0
20 21 76 0
7 62 16 0
70 -25 59 0
-90 75 34 0
-57 -88 -71 0
-75 81 95 0
-84 32 -64 0
-28 16 -5 0
-25 -20 -37 0
-85 -34 43 0
30 64 85 0
-27 -98 -43 0
-71 24 5 0
-38 -34 54 0
-31 75 -64 0
-77 -59 16 0
72 -9 27 0
3 70 -45 0
-42 -83 -87 0
%
0