Add y1r-Solver