Control bank design, reactivity analysis, and rod programming for a dual-batch soluble-boron-free reactor core | Synapse