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