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