Scalable Floating-Point Satisfiability via Staged Optimization | Synapse