packing with the new connections is now working. Verification still pending. We have problems in routing even in the nets that do not have explicit connections.