18333.sat