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