TSTP Solution File: ALG001-3 by SRASS---0.1