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