Comment by roenxi

At doing what, though? Why are they solving the SAT problem?