filled in missing pieces on the solver (updating alphas, etc)