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