Versions list didn't work if the solver hadn't reached it