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