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