SAFT-VRE:  Phase Behavior of Electrolyte Solutions with the Statistical Associating Fluid Theory for Potentials of Variable Range | Synapse