Checked the correctness of dlx.cpp search().