Working on Shortest Path Formulation