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