added DeeperDfsStrategy
(slower than DeepDfsStrategy but finds shorter solutions)