sat_set_all_undef_fail.pat 47 Bytes