sat_max_all_with_tempinduct.ys 74 Bytes