modified dlx_search()