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