$SOL
$SOLV