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