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