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