TSTP Solution File: SYO457^4 by SRASS---0.1