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