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