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