24542.sat