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