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