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