TSTP Solution File: NUM895_1 by CARINE---0.734