sat_tempinduct_baseonly_maxsteps_6.ys 84 Bytes