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