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