Amortized Synthesis of Constrained Configurations Using a Differentiable Surrogate Xingyuan Sun