queen.sat