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