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