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