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