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