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