go to solver