fixed pc19/readme.txt
speed up DfsSolver