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