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