Constraint Complexity and Solvability Phase Transition of the Sphere Packing Problem | Synapse