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