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