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