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