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