A few SAT related questions from a prospective int'l

<Empty imported post>