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