Looks like on hard mode starting with SALET the solver stopped at RIGOR and didn't realize VIGOR was an option. 