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