Two SAT related questions