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