TSTP Solution File: SYO473^3 by SRASS---0.1