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