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