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