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