TSTP Solution File: NLP237-1 by SInE---0.4