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