sat_set_def_fail.ys 68 Bytes