1q.sat