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