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