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