TSTP Solution File: SYO030^1 by SRASS---0.1