$SOL sufficiency