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