ECS 220 2a:4.2-2 k-SAT for k=1,2,3

From David Doty