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