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