Just keep building (with SolverNet).