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