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