loading the solver…