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