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