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