TSTP Solution File: SYO461^3 by SRASS---0.1