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