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