SAT ok(6)