$SOL encounter a variable