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