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