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