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