TSTP Solution File: NUM667^1 by SRASS---0.1