q.sat