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