a case with negative cycle