solver is now working in agent