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