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