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