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