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