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