9q.sat