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