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