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