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