SAT confusion