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