knowns solvers