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