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