Rewrite problem
	l Assume p=1/2 » Count satisfying assignments l “Satisfaction matrix » Sij=1 if ith assignment satisfies jth clause l We want number of nonzero rows l Randomly sampling rows won’t work » Might be too few nonzeros