sphere-packing problem