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