sat_set_init_undef.ys 55 Bytes