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