../../Task/Dijkstras-algorithm/CafeOBJ