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