SK groups of problem solvers