CNF 250 (Explicit)

Pivot (Explicit)