Those who shorted $SOLV have become rich