Ampl model for MT now gives correct paths

The (s,t)-paths are correct and without loops even for
pairs with solution with value 0.