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