TSTP Solution File: NLP232-1 by SRASS---0.1