sat_set_all_undef_at_fail.ys 78 Bytes