TSTP Solution File: NUM256-2 by SRASS---0.1