When in doubt, pick C: an SAT primer

05/29/15