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