TSTP Solution File: NLP017-10 by SInE---0.4