8542.sat