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