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