TSTP Solution File: SYO227^5 by SRASS---0.1