sat_all_with_tempinduct_ff.ys 93 Bytes