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