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