- dijkstra version of the WCR solver