TSTP Solution File: NUM890_1 by DCTP---1.31