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