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