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