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