Skip to the solver