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