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