solving SAT question