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