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