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