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