$SOLV $