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