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