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