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