$SOL is empty