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