sat_all_with_tempinduct_setinitdef.ys 122 Bytes