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