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