sat_max_with_tempinduct_fail.ys 66 Bytes