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