Selección de la versión del solucionador