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