sat_max_all_with_tempinduct.ys 91 Bytes