SAT ok (6)