TSTP Solution File: SYO602+1 by SRASS---0.1