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