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