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