sat_set_def_fail.ys 51 Bytes