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