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