sat_all_with_tempinduct_setinit_fail.ys 82 Bytes