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