4754.sat