Made up my mind for the solver test