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