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