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