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