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