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