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