changed RedKSolutions to rk