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