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