sat_unset_at.pat 47 Bytes