r explicit solv