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