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