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