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