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