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