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