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