$SOL is too weak