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