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