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