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