Solver KINGS - SRP IP as PFR