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