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