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