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