Development and Verification of CUPID-MSR Using the de Vahl Davis Natural-Convection Benchmark | Synapse