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