keen_solver