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