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