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