SAT

The Tipsy CrowSAT