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