TSTP Solution File: ALG173+1 by DCTP---1.31