Implemented and tested the SaturationKFactor