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