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