TSTP Solution File: NLP253+1 by CARINE---0.734