xxq.sat